Footprint Analysis: A Shape Analysis that Discovers Preconditions
Cristiano Calcagno‚ Dino Distefano‚ Peter W. O'Hearn and Hongseok Yang
Book Title
Proceedings of the 14th International Static Analysis Symposium
ISBN
978−3−540−74060−5
Month
August
Pages
402–418
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
4634
Year
2007