Measurement of Recursive Programs.

Vinton G. Cerf Gerald Estrin

Published in: IFIP Congress (1) (1971)

Keyphrases

recursive programs
program synthesis
logic programs
transformation rules
logic programming
databases
artificial intelligence
domain knowledge