Control-Flow Semantics for Assembly-Level Data-Flow Graphs.

Wolfram Kahl Christopher Kumar Anand Jacques Carette

Published in: RelMiCS (2005)

Keyphrases

control flow
data flow
software testing
process model
business process models
transition systems
formal semantics
learning algorithm
case study
workflow management systems
modeling language
logic programs
data sets
open source
knowledge representation
cooperative
high level
information systems
databases