Login / Signup
Algebraic Operational Semantics and Modula-2.
Yuri Gurevich
James M. Morris
Published in:
CSL (1987)
Keyphrases
</>
operational semantics
formal semantics
model theoretic
mental states
data model
declarative semantics
denotational semantics
activity diagrams
databases
machine learning