A structural approach to operational semantics.

Gordon D. Plotkin

Published in: J. Log. Algebraic Methods Program. (2004)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
denotational semantics
activity diagrams
speech acts
declarative semantics
agent programming
data model
integrity constraints