Similar Items: The Relationship Between Separation Logic and Implicit Dynamic Frames
- Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
- Separability in the Ambient Logic
- Independence and concurrent separation logic
- Relational Parametricity and Separation Logic
- Amortised Resource Analysis with Separation Logic
- Stone-Type Dualities for Separation Logics