Checking Interference with Fractional Permissions
Abstract elided by the publisher.
Related papers
- Permission accounting in separation logic POPL 2005
- Abstract Read Permissions: Fractional Permissions without the Fractions VMCAI 2013
- Decision Procedures over Sophisticated Fractional Permissions APLAS 2012
- Semantics of fractional permissions with nesting TOPLAS 2010
- A type system for borrowing permissions POPL 2012
- Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning Onward! 2011
- FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions OOPSLA 2024
- Fractional resources in unbounded separation logic OOPSLA 2022