Selective control-flow abstraction via jumping.

Sam Blackshear Bor-Yuh Evan Chang Manu Sridharan

Published in: OOPSLA (2015)

Keyphrases

control flow
data flow
process model
software testing
high level
reactive systems
workflow management systems
transition systems
database
business process
modeling language
real world
cooperative
process mining
memory hierarchy