Separation logic and abstraction (2005)

by Matthew Parkinson, Gavin Bierman
Venue:In POPL