Login / Signup
Coinductive big-step operational semantics
Xavier Leroy
Hervé Grall
Published in:
CoRR (2008)
Keyphrases
</>
operational semantics
declarative semantics
formal semantics
model theoretic
database
mental states
activity diagrams
artificial intelligence
natural language
relational databases
email
data model