A Metalanguage for Structural Operational Semantics.

Matthew R. Lakin Andrew M. Pitts

Published in: Trends in Functional Programming (2007)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
declarative semantics
data model
denotational semantics
activity diagrams
machine learning
multi agent systems
dynamic environments