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...

ver descrição completa

Detalhes bibliográficos
Principais autores: Kuncak, Viktor, Rinard, Martin
Outros Autores: Computer Architecture
Idioma:en_US
Publicado em: 2005
Acesso em linha:http://hdl.handle.net/1721.1/30409