A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages.

Karen L. Bernstein

Published in: LICS (1998)

Keyphrases

operational semantics
higher order
formal semantics
model theoretic
mental states
activity diagrams
declarative semantics
denotational semantics
pairwise
markov random field
databases
data model
content analysis
speech acts
agent programming
agent communication language