Look for the Proof to Find the Program: Decorated-Component-Based Program Synthesis
Abstract elided by the publisher.
Related papers
- Proof-producing synthesis of ML from higher-order logic ICFP 2012
- Hoogle⋆: Constants and λ-abstractions in Petri-net-based Synthesis using Symbolic Execution ECOOP 2023
- SemML: Enhancing Automata-Theoretic LTL Synthesis with Machine Learning TACAS 2025
- An insider's look at LF type reconstruction: everything you (n)ever wanted to know JFP 2013
- A Formal Treatment of Bidirectional Typing ESOP 2024
- Alternate and Learn: Finding Witnesses without Looking All over CAV 2012
- Recursion synthesis with unrealizability witnesses PLDI 2022
- FrAngel: component-based synthesis with control structures POPL 2019