An Efficient Representation for Formal Synthesis.

Christian Blumenröhr Dirk Eisenbiegler

Published in: ISSS (1997)

Keyphrases

formal representation
program synthesis
data structure
image representation
formal methods
database
neural network
artificial intelligence
artificial neural networks
data model
functional decomposition