Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic
Cristiano Calcagno‚ Dino Distefano‚ Hongseok Yang and Peter W. O'Hearn
Address
Seoul‚ Korea
Book Title
Proceedings of the 13th International Static Analysis Symposium
ISBN
3−540−37756−5
Month
August
Pages
182–203
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
4134
Year
2006