A Calculus for Recursive Program Schemes.

J. W. de Bakker Willem P. de Roever

Published in: ICALP (1972)

Keyphrases

database
recursive programs
databases
program synthesis
data mining
database systems
logic programs
computer programs
control program