An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures
Zvonimir Rakamaric, Jesse Bingham, Alan J. Hu. 8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007), Nice, France.