Local Reasoning about Programs that Alter Data Structures
Peter W. O'Hearn‚ John C. Reynolds and Hongseok Yang
Book Title
Proceedings of 15th Annual Conference of the European Association for Computer Science Logic
Editor
L. Fribourg
ISBN
3−540−42554−3
Month
September
Pages
1–19
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
2142
Year
2001