An Operational Semantics for JavaScript

Sergio Maffeis, John C. Mitchell, Ankur Taly. An Operational Semantics for JavaScript. In Ganesan Ramalingam, editor, Programming Languages and Systems, 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings. Volume 5356 of Lecture Notes in Computer Science, pages 307-325, Springer, 2008. [doi]

Authors

Sergio Maffeis

This author has not been identified. Look up 'Sergio Maffeis' in Google

John C. Mitchell

This author has not been identified. Look up 'John C. Mitchell' in Google

Ankur Taly

This author has not been identified. Look up 'Ankur Taly' in Google