An interactive high-level debugger for control-flow optimized programs.

Polle T. Zellweger

Published in: SIGSOFT (1983)

Keyphrases

control flow
high level
data flow
low level
process model
software testing
programming language
transition systems
intermediate level
workflow management systems
reactive systems
database
databases
business process models