Resources, Concurrency, and Local Reasoning (Abstract)
Abstract elided by the publisher.
Related papers
- Local rely-guarantee reasoning POPL 2009
- Subjective auxiliary state for coarse-grained concurrency POPL 2013
- Contextual Refinement of Higher-Order Concurrent Probabilistic Programs PLDI 2026
- A concurrent program logic with a future and history OOPSLA 2022
- Fair Operational Semantics PLDI 2023
- Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages TOPLAS 2024
- LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract) ECOOP 2023
- Complete Local Reasoning About Parameterized Programs Over Topologies CAV 2026