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