Permission accounting in separation logic
- 12 January 2005
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 40 (1) , 259-270
- https://doi.org/10.1145/1047659.1040327
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Resources, concurrency, and local reasoningTheoretical Computer Science, 2007
- A Semantics for Concurrent Separation LogicPublished by Springer Nature ,2004
- Checking Interference with Fractional PermissionsPublished by Springer Nature ,2003
- The Semantics and Proof Theory of the Logic of Bunched ImplicationsPublished by Springer Nature ,2002
- The Origin of Concurrent ProgrammingPublished by Springer Nature ,2002
- The Logic of Bunched ImplicationsBulletin of Symbolic Logic, 1999
- Concurrent control with “readers” and “writers”Communications of the ACM, 1971