On The Boolean Algebra of Shape Analysis Constraints
Shape analysis is a promising technique for statically verifyingand extracting properties of programs that manipulatecomplex data structures. We introduce a new characterizationof constraints that arise in parametric shapeanalysis based on manipulation of three-valued structuresas dataflow facts.We...
| Principais autores: | , |
|---|---|
| Outros Autores: | |
| Idioma: | en_US |
| Publicado em: |
2005
|
| Acesso em linha: | http://hdl.handle.net/1721.1/30409 |