Separation logic and abstraction. (2005)

by M Parkinson, G Bierman
Venue:In POPL,