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

作者：Politz Joe Gibbs^*; Carroll Matthew J; Lerner Benjamin S; Pombrio Justin; Krishnamurthi Shriram

来源：ACM Sigplan Notices, 2013, 48(2): 1-16.

DOI：10.1145/2480360.2384579

• JavaScript
• LambdaJS
• getters
• setters
• accessors
• eval
• desugar
• wat
• wtfjs

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.

• 出版日期2013-2