On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning
No abstract available.
DOI 10.1007/978-3-540-71316-6_13
Related papers
- Inductive Diagrams for Causal Reasoning OOPSLA 2024
- Certifying low-level programs with hardware interrupts and preemptive threads PLDI 2008
- Reasoning about Weak Isolation Levels in Separation Logic ICFP 2025
- The Relationship between Separation Logic and Implicit Dynamic Frames ESOP 2011
- A separation logic for refining concurrent objects POPL 2011
- Distributed Cooperation with Action Systems TOPLAS 1988
- Concurrent incorrectness separation logic POPL 2022
- Asynchronous Liquid Separation Types ECOOP 2015