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]

Authors

Emanuel Kitzelmann

This author has not been identified. It may be one of the following persons: Look up 'Emanuel Kitzelmann' in Google

Ute Schmid

This author has not been identified. Look up 'Ute Schmid' in Google