A local shape analysis based on separation logic (0)

by D Distefano, P O’Hearn, H Yang
Venue:In 12th TACAS: Conference on Tools and Algorithms for