Rule-Based Operational Semantics for an Imperative Language.

Florent Kirchner François-Régis Sinot

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

operational semantics
formal semantics
declarative semantics
mental states
model theoretic
agent programming
denotational semantics
data model
expert systems
activity diagrams
online learning
autonomous agents
distance learning
language learning