Login / Signup

Implicit Propagation in Structural Operational Semantics.

Peter D. MossesMark J. New
Published in: Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
  • operational semantics
  • formal semantics
  • mental states
  • model theoretic
  • data model
  • databases
  • declarative semantics
  • denotational semantics
  • activity diagrams
  • query language
  • machine learning
  • agent programming