Login / Signup
Structuring Operational Semantics: Simplification and Computation.
Eugenio Moggi
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
operational semantics
formal semantics
mental states
denotational semantics
model theoretic
agent programming
databases
case study
data model