Regional Logic for Local Reasoning about Global Invariants
No abstract available.
DOI 10.1007/978-3-540-70592-5_17
Related papers
- Local Reasoning for Global Graph Properties ESOP 2020
- Reasoning about the POSIX file system: local update and global pathnames OOPSLA 2015
- Go with the flow: compositional abstractions for concurrent data structures POPL 2018
- Modular Reasoning about Global Variables and Their Initialization OOPSLA 2025
- Subjective auxiliary state for coarse-grained concurrency POPL 2013
- Global Guidance for Local Generalization in Model Checking CAV 2020
- Region-based shape analysis with tracked locations POPL 2005
- Message-Observing Sessions OOPSLA 2024