Automatically deriving control-flow graph generators from operational semantics.
James KoppelJackson KearlArmando Solar-LezamaPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- operational semantics
- control flow
- formal semantics
- data flow
- process model
- business process models
- modeling language
- denotational semantics
- model theoretic
- software testing
- case study
- transition systems
- dependency graph
- data model
- mental states
- metamodel
- workflow management systems
- reinforcement learning
- database systems
- database