Compositionality Through an Operational Semantics of Contexts.

Kim Guldstrand Larsen Xinxin Liu

Published in: ICALP (1990)

Keyphrases

operational semantics
mental states
formal semantics
denotational semantics
model theoretic
data model
activity diagrams
databases
declarative semantics
agent programming
machine learning
artificial intelligence
mobile robot
computational intelligence
software development