An Operational Semantics for Weak PSL.

Koen Claessen Johan Mårtensson

Published in: FMCAD (2004)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
data model
database
declarative semantics
agent programming
activity diagrams
databases
artificial intelligence
case study
email
english text
denotational semantics