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

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