Compositional shape analysis by means of bi-abduction.

Cristiano Calcagno, Dino Distefano, Peter W. O'Hearn, Hongseok Yang

Browse the full POPL paper archive.