52
Voted
ECAI
2008
Springer
15 years 23 days 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...