Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions
Abstract elided by the publisher.
Related papers
- A Relational Program Logic with Data Abstraction and Dynamic Framing TOPLAS 2022
- Implicit dynamic frames TOPLAS 2012
- Crowfoot: A Verifier for Higher-Order Store Programs VMCAI 2012
- A First-order Logic with Frames TOPLAS 2023
- A First-Order Logic with Frames ESOP 2020
- First Order Programming Logic POPL 1979
- Destabilizing Iris PLDI 2025
- Scopes and Frames Improve Meta-Interpreter Specialization ECOOP 2019