ECAI
2008
Springer
13 years 6 months ago
2008
Springer
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...