Conjunctive Abstract Interpretation Using Paramodulation
Abstract elided by the publisher.
Related papers
- Verified heap theorem prover by paramodulation ICFP 2012
- A Quantum interpretation of separating conjunction for local reasoning of Quantum programs based on separation logic POPL 2022
- Optimal Program Synthesis via Abstract Interpretation POPL 2024
- A framework for the integration of partial evaluation and abstract interpretation of logic programs TOPLAS 2004
- Generalized Conjunctive Types POPL 1989
- Selective interpretation as a technique for debugging computationally intensive programs PLDI 1987
- A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems TACAS 2023
- Accurate critical path prediction via random trace construction CGO 2008