Synthesis of Circular Compositional Program Proofs via Abduction
Abstract elided by the publisher.
Related papers
- Bi-abductive Resource Invariant Synthesis APLAS 2009
- Compositional shape analysis by means of bi-abduction POPL 2009
- Interconnectability of Session-Based Logical Processes TOPLAS 2018
- JaVerT 2.0: compositional symbolic execution for JavaScript POPL 2019
- Maximal specification synthesis POPL 2016
- Proof-Directed Parallelization Synthesis by Separation Logic TOPLAS 2013
- MetaFJig: a meta-circular composition language for Java-like classes OOPSLA 2010
- Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration ESOP 2025