A tested semantics for getters, setters, and eval in JavaScript.

Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi

Browse the full DLS paper archive.