Checking Properties of Heap-Manipulating Procedures with a Constraint Solver.

Mandana Vaziri, Daniel Jackson

Browse the full TACAS paper archive.