Matching Plans for Frame Inference in Compositional Reasoning
No abstract available.
DOI 10.4230/lipics.ecoop.2024.26
Related papers
- Inference Plans for Hybrid Particle Filtering POPL 2025
- Under-Approximation for Scalable Bug Detection (Keynote) CPP 2024
- Injective type families for Haskell Haskell 2015
- Declarative Composition of Stack Frames CC 2004
- Frame Inference for Inductive Entailment Proofs in Separation Logic TACAS 2018
- A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic POPL 2022
- Inferring frame conditions with static correlation analysis POPL 2019
- Context-sensitive domain-independent algorithm composition and selection PLDI 2006