Abstract Read Permissions: Fractional Permissions without the Fractions
No abstract available.
Related papers
- Semantics of fractional permissions with nesting TOPLAS 2010
- A type system for borrowing permissions POPL 2012
- Fractional resources in unbounded separation logic OOPSLA 2022
- Checking Interference with Fractional Permissions SAS 2003
- Decision Procedures over Sophisticated Fractional Permissions APLAS 2012
- FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions OOPSLA 2024
- Permission accounting in separation logic POPL 2005
- Reasoning over Permissions Regions in Concurrent Separation Logic CAV 2020