Decision Procedures over Sophisticated Fractional Permissions
No abstract available.
Related papers
- Logical Reasoning for Disjoint Permissions ESOP 2018
- Reasoning over Permissions Regions in Concurrent Separation Logic CAV 2020
- Abstract Read Permissions: Fractional Permissions without the Fractions VMCAI 2013
- Checking Interference with Fractional Permissions SAS 2003
- Semantics of fractional permissions with nesting TOPLAS 2010
- Fractional resources in unbounded separation logic OOPSLA 2022
- Automated program verification made SYMPLAR: symbolic permissions for lightweight automated reasoning Onward! 2011
- Automatically learning shape specifications PLDI 2016