The Relationship between Separation Logic and Implicit Dynamic Frames
Abstract elided by the publisher.
Related papers
- Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic ECOOP 2009
- Implicit dynamic frames TOPLAS 2012
- A First-order Logic with Frames TOPLAS 2023
- A First-Order Logic with Frames ESOP 2020
- On the Relationship Between Concurrent Separation Logic and Assume-Guarantee Reasoning ESOP 2007
- Frame Inference for Inductive Entailment Proofs in Separation Logic TACAS 2018
- FO-Complete Program Verification for Heap Logics OOPSLA 2025
- Gradual C0: Symbolic Execution for Gradual Verification TOPLAS 2024