Temporary Read-Only Permissions for Separation Logic
No abstract available.
Related papers
- Fractional resources in unbounded separation logic OOPSLA 2022
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers ESOP 2020
- Reasoning over Permissions Regions in Concurrent Separation Logic CAV 2020
- Leaf: Modularity for Temporary Sharing in Separation Logic OOPSLA 2023
- Semantics of fractional permissions with nesting TOPLAS 2010
- Permission accounting in separation logic POPL 2005
- Logical Reasoning for Disjoint Permissions ESOP 2018
- Connecting effects and uniqueness with adoption POPL 2005