Sciweavers

Share
ECAI
2008
Springer

Data-driven Induction of Functional Programs

9 years 6 days ago
Data-driven Induction of Functional Programs
We present a new method and system, called IGOR2, for the induction of recursive functional programs from few nonrecursive, possibly non-ground example equations describing a subset of the input-output behaviour of a function to be implemented.
Emanuel Kitzelmann
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where ECAI
Authors Emanuel Kitzelmann
Comments (0)
books