BI Hyperdoctrines and Higher-Order Separation Logic
No abstract available.
Related papers
- BI-hyperdoctrines, higher-order separation logic, and abstraction TOPLAS 2007
- Interactive proofs in higher-order concurrent separation logic POPL 2017
- Verifying a hash table and its iterators in higher-order separation logic CPP 2017
- A relational model of types-and-effects in higher-order concurrent separation logic POPL 2017
- Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing POPL 2024
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic JFP 2018
- Asynchronous Probabilistic Couplings in Higher-Order Separation Logic POPL 2024
- Connecting Higher-Order Separation Logic to a First-Order Outside World ESOP 2020