Design and Correctness of Program Transformations Based on Control-Flow Analysis.

Anindya Banerjee Nevin Heintze Jon G. Riecke

Published in: TACS (2001)

Keyphrases

flow analysis
control program
artificial intelligence
design process
control system
data processing
real time control
database
data mining
software architecture
mechanical systems
control unit
design procedure
engineering design
distributed systems
user interface
learning algorithm
neural network
data sets