Region-based shape analysis with tracked locations.

Brian Hackett, Radu Rugina

Browse the full POPL paper archive.