On Transformations of Programs.

Richard S. Bird

Published in: J. Comput. Syst. Sci. (1974)

Keyphrases

automatic programming
databases
neural network
machine learning
computer programs
programming environment
program execution
provably correct