Separation logic and abstraction (0)

by M Parkinson, G Bierman
Venue:In POPL (2005