Separation logic and abstraction (2005)

by M Parkinson, G Bierman
Venue:In Proceedings of POPL