Automated Synthesis of Functional Programs with Auxiliary Functions
Abstract elided by the publisher.
Related papers
- Synthesizing software verifiers from proof rules PLDI 2012
- Incremental Determinization for Quantifier Elimination and Functional Synthesis CAV 2019
- Automated transpilation of imperative to functional code using neural-guided program synthesis OOPSLA 2022
- Automated and Sound Synthesis of Lyapunov Functions with SMT Solvers TACAS 2020
- Proving and Disproving Equivalence of Functional Programming Assignments PLDI 2023
- Automated Translation of Functional Big Data Queries to SQL OOPSLA 2023
- Cyclic program synthesis PLDI 2021
- Manthan: A Data-Driven Approach for Boolean Function Synthesis CAV 2020