Well-behaved Translations between Structural Operational Semantics.

Hiroshi Watanabe

Published in: CMCS (2002)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
machine translation
denotational semantics
data model
declarative semantics
databases
speech acts
artificial intelligence
email
dynamic environments