Amanote Research

Amanote Research

    RegisterSign 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 PolitzMatthew J. CarrollBenjamin S. LernerJustin PombrioShriram Krishnamurthi
Publisher

ACM Press


Related search

Javanni: A Verifier for JavaScript

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Getters for Improved Technetium Containment in Cementitious Waste Forms

Journal of Hazardous Materials
Waste ManagementMutagenesisDisposalEnvironmental ChemistryHealthToxicologyEnvironmental EngineeringPollution
2018English

JavaScript

Journal of Information Processing and Management
2001English

Symbolic Execution for JavaScript

2018English

Automated Object Persistence for JavaScript

2010English

Measure Semantics and Qualitative Semantics for Epistemic Modals

Semantics and Linguistic Theory
2015English

The Ζ-Semantics: A Comprehensive Semantics for Functional Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Measure Semantics and Qualitative Semantics for Epistemic Modals

Semantics and Linguistic Theory
2013English

BugsJS: A Benchmark of JavaScript Bugs

2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy