and Ankur Taly. An Operational Semantics for JavaScript (2008)

by Sergio Maffeis, John C Mitchell
Venue:In Asian Symposium on Programming Languages and Systems (APLAS