A Local Shape Analysis Based on Separation Logic.

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

Browse the full TACAS paper archive.