Shape Analysis of Single-Parent Heaps

Ittai Balaban, Amir Pnueli, Lenore D. Zuck. Shape Analysis of Single-Parent Heaps. In Byron Cook, Andreas Podelski, editors, Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings. Volume 4349 of Lecture Notes in Computer Science, pages 91-105, Springer, 2007. [doi]

Authors

Ittai Balaban

This author has not been identified. Look up 'Ittai Balaban' in Google

Amir Pnueli

Identified as Amir Pnueli

Lenore D. Zuck

This author has not been identified. Look up 'Lenore D. Zuck' in Google