Handling Bidirectional Control Flow: Technical Report.

Yizhou Zhang Guido Salvaneschi Andrew C. Myers

Published in: CoRR (2020)

Keyphrases

control flow
technical report
data flow
process model
software testing
workflow management systems
modeling language
transition systems
memory hierarchy
heuristic search