Amanote Research
Register
Sign In
A Tested Semantics for Getters, Setters, and Eval in JavaScript
doi 10.1145/2384577.2384579
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2012
Authors
Joe Gibbs Politz
Matthew J. Carroll
Benjamin S. Lerner
Justin Pombrio
Shriram Krishnamurthi
Publisher
ACM Press
Related search
Javanni: A Verifier for JavaScript
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Getters for Improved Technetium Containment in Cementitious Waste Forms
Journal of Hazardous Materials
Waste Management
Mutagenesis
Disposal
Environmental Chemistry
Health
Toxicology
Environmental Engineering
Pollution
JavaScript
Journal of Information Processing and Management
Symbolic Execution for JavaScript
Automated Object Persistence for JavaScript
Measure Semantics and Qualitative Semantics for Epistemic Modals
Semantics and Linguistic Theory
The Ζ-Semantics: A Comprehensive Semantics for Functional Programs
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Measure Semantics and Qualitative Semantics for Epistemic Modals
Semantics and Linguistic Theory
BugsJS: A Benchmark of JavaScript Bugs