An Operational Semantics for Yul.

Vasileios Koutavas Yu-Yang Lin Nikos Tzevelekos

Published in: CoRR (2024)

Keyphrases

operational semantics
formal semantics
data model
mental states
denotational semantics
activity diagrams
model theoretic
declarative semantics
databases
computational intelligence
petri net
distance learning
agent programming