Inductive Synthesis of Recursive Functional Programs

Опубликовано 17 августа 2016, 1:08

Inductive program synthesis (IPS) is concerned with the automated construction of computer programs from incomplete specifications, such as input-output examples. Application fields are, e.g., end-user programming, algorithm development, and intelligent agents that autonomously acquire productive problem-solving knowledge. This talk focuses on the inductive synthesis of recursive functional programs. I introduce the recent IPS algorithm IGOR2 that combines analytical methods with search in program spaces in order to achieve a sensible trade-off between expressivity and efficiency. Experiments with typical list-processing functions and with benchmark-problems from problem-solving and automated planning show promising results.