Separation logic and abstraction (2005)

by Matthew Parkinson, Gavin Bierman
Venue:In POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages