Top-down approach to the synthesis of programs.

G. Degli Antoni Pierangelo Miglioli Mario Ornaghi

Published in: Symposium on Programming (1974)

Keyphrases

functional programs
high level
program synthesis
database
database systems
provably correct
learning algorithm
computer vision
metadata
three dimensional
data structure
logic programs
texture synthesis
visual saliency
java programs