Compositionality through an Operational Semantics of Contexts.

Kim Guldstrand Larsen Xinxin Liu

Published in: J. Log. Comput. (1991)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
denotational semantics
data model
declarative semantics
database
machine learning
object oriented
qualitative and quantitative
activity diagrams