Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach (Special Topic on Inductive Programming)
Emanuel Kitzelmann and Ute Schmid
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach (Special Topic on Inductive Programming).pdf
258.89kB
Type: Paper Tags: Bibtex:
@article{7:15,author={Emanuel Kitzelmann and Ute Schmid}, Title={Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach (Special Topic on Inductive Programming)},journal={Journal of Machine Learning Research},volume={7}, url={http://www.jmlr.org/papers/volume7/kitzelmann06a/kitzelmann06a.pdf}}