Compositional Entailment Checking for a Fragment of Separation Logic
No abstract available.
Related papers
- Effective Entailment Checking for Separation Logic with Inductive Definitions TACAS 2019
- Foundations for Entailment Checking in Quantitative Separation Logic ESOP 2022
- Automated lemma synthesis in symbolic-heap separation logic POPL 2018
- Refinement Composition Logic ICFP 2024
- Frame Inference for Inductive Entailment Proofs in Separation Logic TACAS 2018
- Separation logic + superposition calculus = heap theorem prover PLDI 2011
- Separating the Wheat from the Chaff: Understanding (In-)Completeness of Proof Mechanisms for Separation Logic with Inductive Definitions POPL 2026
- SL-COMP: Competition of Solvers for Separation Logic TACAS 2019