Abstract read permissions: Fractional permissions without the fractions

Stefan Heule, K. Rustan M. Leino, Peter Müller, Alexander J. Summers
[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]

Verification, Model Checking, and Abstract Interpretation
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 315-334
Topic(s): verification
Note(s): permission logic
Papers: heule:ftfjp:2011

Not read but appears to be an updated version of an earlier paper but with a less open publisher.