Login / Signup
Mechanized Operational Semantics of WSL.
Xingyuan Zhang
Malcolm Munro
Mark Harman
Lin Hu
Published in:
SCAM (2002)
Keyphrases
</>
operational semantics
formal semantics
mental states
model theoretic
declarative semantics
data model
denotational semantics
speech acts
email
information extraction
software engineering