Writing Operational Semantics in Z: A Sructural Approach.

Marc V. Benveniste

Published in: VDM Europe (1) (1991)

Keyphrases

operational semantics
formal semantics
model theoretic
mental states
data model
declarative semantics
activity diagrams
agent programming
denotational semantics
databases
machine learning
artificial intelligence
query language
software engineering
speech acts