Minimal and Optimal Computations of Recursive Programs.

Gérard Berry Jean-Jacques Lévy

Published in: J. ACM (1979)

Keyphrases

recursive programs
program synthesis
logic programs
artificial intelligence
relational databases
query processing
open source
transformation rules