Login / Signup
Recursion Removal from Recursive Programs with One Descent Function.
Yusuke Ichikawa
Zenjiro Konishi
Yoshihiko Futamura
Published in:
APLAS (2002)
Keyphrases
</>
recursive programs
program synthesis
logic programs
complex objects
transformation rules
databases
domain knowledge
knowledge representation