A Simple Calculus for Program Transformation (Inclusive of Induction).

Published in: Sci. Comput. Program. (1987)

Keyphrases

machine learning
database
neural network
functional programs
genetic algorithm
information systems
multiscale
image registration
programming environment
concept formation
program synthesis
provably correct