Program Transformation under the Principle of Proof as Program.

Hideaki Nakayama

Published in: ISLP (1991)

Keyphrases

program execution
data sets
real time
machine learning
learning algorithm
website
wide range
evolutionary algorithm
computer programs
automatic programming