Sciweavers

ECAI
2008
Springer
14 years 1 months 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 subse...
Emanuel Kitzelmann