Type- and Control-Flow Directed Defunctionalization.

Maheen Riaz Contractor Matthew Fluet

Published in: IFL (2020)

Keyphrases

control flow
data flow
process model
software testing
modeling language
workflow management systems
business process models