A Full Program Control Flow Representation for Real Programs.

He Zhu Ian Watson

Published in: Euro-Par (1997)

Keyphrases

control flow
data flow
process model
software testing
transition systems
prolog programs
business process models
information systems
workflow management systems
modeling language
database
data sets
logic programs
formal semantics
programming environment
open source
memory hierarchy
database systems
real world