Recursion Removal from Recursive Programs with Only One Descent Function.

Yusuke Ichikawa Zenjiro Konishi Yoshihiko Futamura

Published in: IEICE Trans. Inf. Syst. (2005)

Keyphrases

recursive programs
program synthesis
logic programs
artificial intelligence
transformation rules
data structure
prior knowledge
response time
data driven