Checking Cleanness in Linked Lists

This publication has 16 references indexed in Scilit:

• Parametric shape analysis via 3-valued logic
  Published by Association for Computing Machinery (ACM) ,1999
• PAG - an efficient program analyzer generator
  International Journal on Software Tools for Technology Transfer, 1998
• Solving shape-analysis problems in languages with destructive updating
  ACM Transactions on Programming Languages and Systems, 1998
• 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
• Static detection of pointer errors: An axiomatisation and a checking algorithm
  Published by Springer Nature ,1996
• Graph layout through the VCG tool
  Published by Springer Nature ,1995
• Efficient detection of all pointer and array access errors
  Published by Association for Computing Machinery (ACM) ,1994
• A lattice for abstract interpretation of dynamic (LISP-like) structures
  Information and Computation, 1992
• Direct function calls in lisp
  Higher-Order and Symbolic Computation, 1990