Login / Signup

Some Techniques for Recursion Removal from Recursive Programs.

Jacques J. ArsacYves 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