Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Cristiano Calcagno‚ Hongseok Yang and Peter W. O'Hearn
Book Title
Proceedings of the 22nd Conference on Foundations of Software Technology and Theoretical Computer Science
ISBN
3−540−43002−4
Month
December
Pages
108–119
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
2245
Year
2001