Login / Signup
Automatically Deriving Control-Flow Graph Generators from Operational Semantics.
James Koppel
Jackson Kearl
Armando Solar-Lezama
Published in:
CoRR (2020)
Keyphrases
</>
operational semantics
control flow
formal semantics
data flow
process model
software testing
mental states
model theoretic
modeling language
workflow management systems
activity diagrams
business process models
data model
agent programming
transition systems
denotational semantics
databases
mobile robot
cooperative