The Synthesis of Structure Changing Programs.

Zohar Manna Richard J. Waldinger

Published in: ICSE (1978)

Keyphrases

high level
structural information
real time
data sets
neural network
artificial intelligence
information systems
similarity measure
multi agent
tree structure
structural properties
graph structure
program synthesis
functional decomposition