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

Authors:
Joe Gibbs Politz;Matthew J. Carroll;Benjamin S. Lerner;Justin Pombrio;Shriram Krishnamurthi
Affiliations:
Brown University, Providence, RI, USA;Brown University, Providence, RI, USA;Brown University, Providence, RI, USA;Brown University, Providence, RI, USA;Brown University, Providence, RI, USA
Venue:
Proceedings of the 8th symposium on Dynamic languages
Year:
2012

Citing 11
Cited 4

A lambda calculus of objects with self-inflicted extension

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The mystery of the tower revealed: a non-reflective description of the reflective tower

LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Featherweight Java: a minimal core calculus for Java and GJ

ACM Transactions on Programming Languages and Systems (TOPLAS)
JavaScript instrumentation for browser security

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Operational Semantics for JavaScript

APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
Staged information flow for javascript

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Type Checking for JavaScript

Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics Engineering with PLT Redex

Semantics Engineering with PLT Redex
The essence of javascript

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Automated Analysis of Security-Critical JavaScript APIs

SP '11 Proceedings of the 2011 IEEE Symposium on Security and Privacy
Information-Flow Security for a Core of JavaScript

CSF '12 Proceedings of the 2012 IEEE 25th Computer Security Foundations Symposium

Fully abstract compilation to JavaScript

POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Python: the full monty

Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Combining form and function: static types for JQuery programs

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
A trusted mechanised JavaScript specification

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.