Compositional Shape Analysis by means of Bi−abduction
Cristiano Calcagno‚ Dino Distefano‚ Peter W. O’Hearn and Hongseok Yang
Address
Savannah‚ USA
Book Title
Proceedings of the 36th ACM Symposium on Principles of Programming Languages
ISBN
978−1−60558−379−2
Month
January
Pages
289–300
Publisher
ACM
Year
2009