An Operational Semantics for JavaScript

DMCA

An Operational Semantics for JavaScript

Cached

Download Links

by Sergio Maffeis , John C. Mitchell , Ankur Taly

Citations:

47 - 11 self

BibTeX

@MISC{Maffeis_anoperational,
    author = {Sergio Maffeis and John C. Mitchell and Ankur Taly},
    title = {An Operational Semantics for JavaScript},
    year = {}
}

OpenURL

Abstract

Abstract. We define a small-step operational semantics for the EC-MAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and mashups. The semantics is based on the language standard and a number of experiments with different implementations and browsers. Some basic properties of the semantics are proved, including a soundness theorem and a characterization of the reachable portion of the heap. 1

Keyphrases

operational semantics different implementation language standard reachable portion web application soundness theorem basic property ec-mascript standard language small-step operational semantics security property

DMCA