Control Flow Aspects of Semantics-Directed Compiling.

Published in: ACM Trans. Program. Lang. Syst. (1983)

Keyphrases

control flow
data flow
process model
software testing
business process models
modeling language
formal semantics
transition systems
learning algorithm
artificial intelligence
workflow management systems
data sets
databases
cooperative
memory hierarchy