Towards Effects in Mathematical Operational Semantics.

Faris Abou-Saleh Dirk Pattinson

Published in: MFPS (2011)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
data model
activity diagrams
agent programming
databases
denotational semantics
machine learning
case study