Login / Signup

Formal Foundations of Operational Semantics.

Jonathan FordIan A. Mason
Published in: High. Order Symb. Comput. (2003)
Keyphrases
  • operational semantics
  • formal semantics
  • model theoretic
  • mental states
  • declarative semantics
  • denotational semantics
  • artificial intelligence
  • data model
  • computational intelligence
  • activity diagrams