Separation logic, abstraction and inheritance.

Matthew J. Parkinson, Gavin M. Bierman

Browse the full POPL paper archive.