Towards an Operational Semantics for Alloy.

Theophilos Giannakopoulos Daniel J. Dougherty Kathi Fisler Shriram Krishnamurthi

Published in: FM (2009)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
data model
mechanical properties
declarative semantics
denotational semantics
activity diagrams
database systems