Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach

Emanuel Kitzelmann, Ute Schmid. Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. Journal of Machine Learning Research, 7:429-454, 2006. [doi]

Abstract

Abstract is missing.