Matthew Might. Shape Analysis in the Absence of Pointers and Structure. In Gilles Barthe, Manuel V. Hermenegildo, editors, Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings. Volume 5944 of Lecture Notes in Computer Science, pages 263-278, Springer, 2010. [doi]
Abstract is missing.