Generalized Program Sketching by Abstract Interpretation and Logical Abduction
No abstract available.
Related papers
- Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq PLDI 2024
- Abstract satisfaction POPL 2014
- Compositional shape analysis by means of bi-abduction POPL 2009
- Inductive invariant generation via abductive inference OOPSLA 2013
- Lifted termination analysis by abstract interpretation and its applications GPCE 2021
- The Complexity of Abduction for Separated Heap Abstractions SAS 2011
- Automated error diagnosis using abductive inference PLDI 2012
- Resource-sensitive synchronization inference by abduction POPL 2012