Motivation Formal Semantics for JavaScript (ECMA262-3) Formal Properties Conclusions and Future work A Structural Operational Semantics for JavaScript Ankur Taly Dept. of Computer Science, Stanford University Joint work with Sergio Maffeis and John C. Mitchell Ankur Taly A Structural Operational Semantics for JavaScript Motivation Formal Semantics for JavaScript (ECMA262-3) Formal Properties Concl