Login / Signup
Big-step Operational Semantics Revisited.
Jaroslaw D. M. Kusmierek
Viviana Bono
Published in:
Fundam. Informaticae (2010)
Keyphrases
</>
operational semantics
formal semantics
mental states
model theoretic
data model
denotational semantics
content analysis