Automated synthesis of functional programs with auxiliary functions

DOI10.1007/978-3-030-02768-1_13zbMath1519.68046OpenAlexW2897229241MaRDI QIDQ6166148

Takeshi Tsukada, Shingo Eguchi, Naoki Kobayashi

Publication date: 2 August 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-02768-1_13

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

\textit{AlCons}: deductive synthesis of sorting algorithms in \textit{Theorema} ⋮ Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)

This page was built for publication: Automated synthesis of functional programs with auxiliary functions