1368 search results - page 28 / 274 » Recursive modules for programming |
138
click to vote
FCT
2009
Springer
16 years 15 days 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...
103
click to vote
ECAI
2008
Springer
15 years 7 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...
167
click to vote
AAIP
2009
15 years 3 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...
111
Voted
ITICSE
1998
ACM
15 years 10 months ago
1998
ACM