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

by C Calcagno, D Distefano, P O’Hearn, H Yang
Venue:In 36th POPL