Automatic Construction of Hoare Proofs from Abstract Interpretation Results
No abstract available.
Related papers
- Goal-directed weakening of abstract interpretation results TOPLAS 2007
- Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation POPL 2024
- An abstract interpretation framework for refactoring with application to extract methods with contracts OOPSLA 2012
- Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems POPL 1977
- Abstract Interpretation with Higher-Dimensional Ellipsoids and Conic Extrapolation CAV 2015
- A Practical Specification Language for Automatic Quantum Program Verification CAV 2026
- An abstract interpretation framework for termination POPL 2012
- Automatic Recognition of Induction Variables and Recurrence Relations by Abstract Interpretation PLDI 1990