and Ankur Taly. An operational semantics for JavaScript (2008)

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