A Tested Semantics for Getters, Setters, and Eval in JavaScript

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

@inproceedings{politz:s5-semantics,
  author = {Joe Gibbs Politz and Matthew J. Carroll and Benjamin S. Lerner and Shriram Krishnamurthi},
  title = {{A Tested Semantics for Getters, Setters, and Eval in JavaScript}},
  year = 2012,
  booktitle = {{DLS}}
}
  

The paper: (pdf)

Shorter, high-level introductions to this work are written up as blog posts on gettters and setters and eval (in quiz form).

A source tarball that includes a checkout of Test262 for reproducing our results from the paper is here (note: the test suite is large, this is a 245MB download.): (s5.tgz)

Instructions are included in the INSTALL file of the tarball, or found here: (INSTALL)

You can see the output from running Test262 that appears in the paper on the web here: (Test262 output).