Typed Operational Semantics.

Healfdene Goguen

Published in: TLCA (1995)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
data model
declarative semantics
activity diagrams
denotational semantics
cooperative
database
databases