An Applicative Control-Flow Graph Based on Huet's Zipper.

Norman Ramsey João Dias

Published in: Electron. Notes Theor. Comput. Sci. (2006)

Keyphrases

control flow
data flow
process model
software testing
graph model
semi supervised
modeling language
business process models
transition systems
databases
high level
workflow management systems
data sets
reactive systems