Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. Vaziri, M. & Jackson, D. In Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Proceedings, pages 505-520, 2003.
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver [pdf]Paper  bibtex   

Downloads: 0