A local shape analysis based on separation logic
Dino Distefano‚ Peter W. O'Hearn and Hongseok Yang
Address
Vienna
Book Title
Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ISBN
3−540−33056−9
Month
April
Pages
287–302
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
3920
Year
2006