Tabulation Techniques for Recursive Programs.

Richard S. Bird

Published in: ACM Comput. Surv. (1980)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
logic programming
case study
databases
data structure
multi agent systems
domain knowledge
multi dimensional
metamodel