Separation logic and abstraction.

Matthew J. Parkinson, Gavin M. Bierman

Browse the full POPL paper archive.