Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach

We describe an approach to the inductive synthesis of recursive equations from input/output-examples which is based on the classical two-step approach to induction of functional Lisp programs of Su...