Speeding up the Synthesis of Programs from Traces.

Alan W. Biermann Richard I. Baum Frederick E. Petry

Published in: IEEE Trans. Computers (1975)

Keyphrases

functional programs
computer programs
provably correct
neural network
computer vision
similarity measure
programming environment
fixpoint
program synthesis
control program