Towards Deductive Synthesis of Dataflow Networks

Bengt Jonsson Zohar Manna Richard J. Waldinger

Published in: LICS (1986)

Keyphrases

functional programs
social networks
network structure
graph transformation
network analysis
database
neural network
data mining
machine learning
information retrieval
artificial intelligence
website
web services
data model
community detection
network design