Separation logic, abstraction and inheritance (2008)

by Matthew J Parkinson, Gavin M Bierman
Venue:In Proc. Principles of Programming Languages (POPL