Inductive synthesis of structurally recursive functional programs from non-recursive expressions

DOI10.1017/S0956796825100063MaRDI QIDQ6917836zbMATH OpenFDO

Authors Hangyeol Cho, Woosuk Lee

Publication date 10 October 2025

Published in Journal of Functional Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S0956796825100063

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites work

• Automated synthesis of functional programs with auxiliary functions
• Automating string processing in spreadsheets using input-output examples
• Counterexample-guided partial bounding for recursive function synthesis
• Example-directed synthesis: a type-theoretic interpretation
• Inductive synthesis of functional programs: an explanation based generalization approach

This page was built for publication: Inductive synthesis of structurally recursive functional programs from non-recursive expressions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6917836)