Control Flow Aspects of Semantics Directed Compiling (Summary).

Published in: SIGPLAN Symposium on Compiler Construction (1982)

Keyphrases

control flow
data flow
formal semantics
process model
business process models
software testing
workflow management systems
transition systems
database
machine learning
semantic aspects
reactive systems
inference rules
object oriented
training data
information systems
real world