Trace-Based Coinductive Operational Semantics for While.

Keiko Nakata Tarmo Uustalu

Published in: TPHOLs (2009)

Keyphrases

operational semantics
formal semantics
mental states
model theoretic
data model
denotational semantics
activity diagrams
declarative semantics
database
knowledge base
collaborative learning
distance education
speech acts