A local shape analysis based on separation logic (2006)

by D Distefano, P O’Hearn, H Yang
Venue:In TACAS