Similar Items: Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
- Nested Hoare Triples and Frame Rules for Higher-order Store
- Separating Regular Languages with First-Order Logic
- Extensional Semantics for Higher-Order Logic Programs with Negation
- The Relationship Between Separation Logic and Implicit Dynamic Frames
- Semantics of Higher-Order Recursion Schemes
- Stone-Type Dualities for Separation Logics