]> BibSonomy publications for /bibtex/1952e3b17d93c05181e64bfc6a0a3960a http://www.bibsonomy.org/burst/bibtex/1952e3b17d93c05181e64bfc6a0a3960a BibSonomy BuRST Feed for /bibtex/1952e3b17d93c05181e64bfc6a0a3960a 2008-08-21T08:13:17+02:00 Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approachhttp://www.bibsonomy.org/bibtex/241c72a03ba80767af6f77376acdbeb02/emanuel emanuel 2008-06-14T17:41:39+02:00 analytical_ip article ebg ifp igor1 induction inductive_programming program_synthesis recursive_program_schemes
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
Emanuel Kitzelmann and Ute Schmid Journal of Machine Learning Research 7 429--454 (2006)
to analytical_ip article ebg ifp igor1 induction inductive_programming program_synthesis recursive_program_schemes by emanuel on 2008-06-14 17:41:39 ]]> Cambridge, MA, USAJournal of Machine Learning Research429--454Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach72006analytical_ip article ebg ifp igor1 induction inductive_programming program_synthesis recursive_program_schemes 2008-06-14 17:41:39.0We 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 Summers (1977). In a first step, I/O-examples are rewritten to traces which explain the outputs given the respective inputs based on a datatype theory. These traces can be integrated into one conditional expression which represents a non-recursive program. In a second step, this initial program term is generalized into recursive equations by searching for syntactical regularities in the term. Our approach extends the classical work in several aspects. The most important extensions are that we are able to induce a set of recursive equations in one synthesizing step, the equations may contain more than one recursive call, and additionally needed parameters are automatically introduced. Inductive Synthesis of Functional Programs -- An Explanation Based Generalization Approach http://www.bibsonomy.org/bibtex/2599ae673b395db61f0b11e9ce5a32cf7/ip ip 2007-11-21T11:41:08+01:00 imported
Inductive Synthesis of Functional Programs -- An Explanation Based Generalization Approach
Emanuel Kitzelmann and Ute Schmid Journal of Machine Learning Research 7 429-454 (2006)
to imported by ip on 2007-11-21 11:41:08 ]]> Journal of Machine Learning ResearchFeb429-454Inductive Synthesis of Functional Programs -- {A}n Explanation Based Generalization Approach72006imported 2007-11-21 11:41:08.0 Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approachhttp://www.bibsonomy.org/bibtex/241c72a03ba80767af6f77376acdbeb02/mh mh 2007-10-17T15:28:39+02:00 2006 article automatic_programming explanation-based_generalization functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_learning inductive_program_synthesis inductive_programming myown programming published recursive_program_schemes
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
Emanuel Kitzelmann and Ute Schmid Journal of Machine Learning Research 7 429--454 (2006)
to 2006 article automatic_programming explanation-based_generalization functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_learning inductive_program_synthesis inductive_programming myown programming published recursive_program_schemes by mh on 2007-10-17 15:28:39 ]]> Cambridge, MA, USAJournal of Machine Learning Research429--454Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach720062006 article automatic_programming explanation-based_generalization functional_programming igor1 induction inductive inductive_functional_programming inductive_inference inductive_learning inductive_program_synthesis inductive_programming myown programming published recursive_program_schemes 2007-10-17 15:28:39.0We 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 Summers (1977). In a first step, I/O-examples are rewritten to traces which explain the outputs given the respective inputs based on a datatype theory. These traces can be integrated into one conditional expression which represents a non-recursive program. In a second step, this initial program term is generalized into recursive equations by searching for syntactical regularities in the term. Our approach extends the classical work in several aspects. The most important extensions are that we are able to induce a set of recursive equations in one synthesizing step, the equations may contain more than one recursive call, and additionally needed parameters are automatically introduced. Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach. dblphttp://www.bibsonomy.org/bibtex/25188b8389a66ef6766bf976728d54a07/dblp dblp 2007-02-21T00:00:00+01:00 dblp
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach.
Emanuel Kitzelmann and Ute Schmid Journal of Machine Learning Research 7 429-454 (2006)
to dblp by dblp on 2007-02-21 00:00:00 ]]> Journal of Machine Learning Research429-454Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach.72006dblp 2007-02-21 00:00:00.0