Login / Signup
Some Techniques for Recursion Removal from Recursive Programs.
Jacques J. Arsac
Yves Kodratoff
Published in:
ACM Trans. Program. Lang. Syst. (1982)
Keyphrases
</>
recursive programs
program synthesis
logic programs
transformation rules
logic programming
database
data driven
inductive logic programming