Permission accounting in separation logic.

Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson

Browse the full POPL paper archive.