Ribbon Proofs for Separation Logic
No abstract available.
Related papers
- Ribbons: a partially shared memory programming model OOPSLA 2011
- Searching for Ribbon-Shaped Paths in Fair Transition Systems TACAS 2022
- Frame Inference for Inductive Entailment Proofs in Separation Logic TACAS 2018
- Interactive proofs in higher-order concurrent separation logic POPL 2017
- Proof search for propositional abstract separation logics via labelled sequents POPL 2014
- A proof system for separation logic with magic wand POPL 2014
- Natural proofs for data structure manipulation in C using separation logic PLDI 2014
- Cyclic proofs of program termination in separation logic POPL 2008