Compositional shape analysis by means of bi-abduction (2011)

by C Calcagno, D Distefano, P O’Hearn, H Yang
Venue:Journal of the ACM