Enforcing Structural Invariants Using Dynamic Frames
No abstract available.
Related papers
- A Relational Program Logic with Data Abstraction and Dynamic Framing TOPLAS 2022
- An inductive synthesis framework for verifiable reinforcement learning PLDI 2019
- A First-order Logic with Frames TOPLAS 2023
- Generalized Arrays for Stainless Frames VMCAI 2022
- A First-Order Logic with Frames ESOP 2020
- Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic ECOOP 2009
- The Relationship between Separation Logic and Implicit Dynamic Frames ESOP 2011
- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions ESOP 2010