1368 search results - page 28 / 274 » Recursive modules for programming |
FCT
2009
Springer
14 years 2 months ago
2009
Springer
The n-ary first and second recursion theorems formalize two distinct, yet similar, notions of self-reference. Roughly, the n-ary first recursion theorem says that, for any n algo...
ECAI
2008
Springer
13 years 9 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...
AAIP
2009
13 years 5 months ago
2009
Abstract. This paper describes a very flexible way to synthesize functions matching a given predicate. This can be used to find general recursive functions or -terms obeying an inp...
ITICSE
1998
ACM
14 years 1 days ago
1998
ACM
GECCO
2011
Springer
12 years 11 months ago
2011
Springer