An Operational Semantics for JavaScript.

Sergio Maffeis John C. Mitchell Ankur Taly

Published in: APLAS (2008)

Keyphrases

operational semantics
web applications
open source
formal semantics
website
mental states
model theoretic
hands on guide
denotational semantics
declarative semantics
scripting language
data model
case study
databases
description logics
activity diagrams