Login / Signup
Operational semantics with semicommutations.
Hendrik Maarand
Tarmo Uustalu
Published in:
J. Log. Algebraic Methods Program. (2021)
Keyphrases
</>
operational semantics
formal semantics
mental states
model theoretic
data model
denotational semantics
declarative semantics
database
databases
object oriented
activity diagrams
machine learning
agent programming