A tested semantics for getters, setters, and eval in JavaScript | Zendy

Joe Gibbs Politz | Zendy; Matthew J. Carroll | Zendy; Benjamin S. Lerner | Zendy; Justin Pombrio | Zendy; Shriram Krishnamurthi | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Joe Gibbs Politz,

Matthew J. Carroll,

Benjamin S. Lerner,

Justin Pombrio,

Shriram Krishnamurthi

Publication year - 2012

Publication title -

citeseer x (the pennsylvania state university)

Language(s) - English

Resource type - Conference proceedings

ISSN - 0362-1340

DOI - 10.1145/2384577.2384579

Subject(s) - javascript , programming language , computer science , semantics (computer science) , transformation (genetics) , getter , engineering , biochemistry , chemistry , gene , electrical engineering

We present S5, a semantics for the strict mode of the ECMAScript 5.1 (JavaScript) programming language. S5 shrinks the large source language into a manageable core through an implemented transformation. The resulting specification has been tested against real-world conformance suites for the language. This paper focuses on two aspects of S5: accessors (getters and setters) and eval. Since these features are complex and subtle in JavaScript, they warrant special study. Variations on both features are found in several other programming languages, so their study is likely to have broad applicability.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research