Structural Operational Semantics for Control Flow Graph Machines.

Dmitri Garbuzov William Mansky Christine Rizkallah Steve Zdancewic

Published in: CoRR (2018)

Keyphrases

operational semantics
flow graph
flow graphs
mental states
model theoretic
shortest path
formal semantics
fuzzy logic
random walk
agent programming
denotational semantics
data mining
information systems
search space
information flow
activity diagrams