Permission accounting in separation logic. (2005)

by R Bornat, C Calcagno, P W O’Hearn, M Parkinson
Venue:In POPL ’05: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,