Typed Operational Semantics for Dependent Record Types

Yangyue Feng Zhaohui Luo

Published in: TYPES (2009)

Keyphrases

operational semantics
database
mental states
formal semantics
artificial intelligence
knowledge base
data model
model theoretic
declarative semantics
activity diagrams