Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic
No abstract available.
DOI 10.1007/978-3-642-03013-0_8
Related papers
- The Relationship between Separation Logic and Implicit Dynamic Frames ESOP 2011
- Implicit dynamic frames TOPLAS 2012
- A First-order Logic with Frames TOPLAS 2023
- A First-Order Logic with Frames ESOP 2020
- A Relational Program Logic with Data Abstraction and Dynamic Framing TOPLAS 2022
- Frame Inference for Inductive Entailment Proofs in Separation Logic TACAS 2018
- Lilac: A Modal Separation Logic for Conditional Probability PLDI 2023
- Enforcing Structural Invariants Using Dynamic Frames TACAS 2011