The pointer assertion logic engine

This publication has 14 references indexed in Scilit:

• Putting static analysis to work for verification
  Published by Association for Computing Machinery (ACM) ,2000
• Finding bugs with a constraint solver
  Published by Association for Computing Machinery (ACM) ,2000
• Parametric shape analysis via 3-valued logic
  Published by Association for Computing Machinery (ACM) ,1999
• A domain-specific language for regular sets of strings and trees
  IEEE Transactions on Software Engineering, 1999
• Automatic verification of pointer programs using monadic second-order logic
  Published by Association for Computing Machinery (ACM) ,1997
• Static detection of dynamic memory errors
  Published by Association for Computing Machinery (ACM) ,1996
• Graph types
  Published by Association for Computing Machinery (ACM) ,1993
• Abstractions for recursive pointer data structures
  Published by Association for Computing Machinery (ACM) ,1992
• Ten Years of Hoare's Logic: A Survey—Part I
  ACM Transactions on Programming Languages and Systems, 1981
• An axiomatic basis for computer programming
  Communications of the ACM, 1969