Status report

Herman, David; Flanagan, Cormac

doi:10.1145/1292535.1292543

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2008

2013

Publication Types

Select...

Book2

Other2

Article1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 16 publications

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

An Operational Semantics for JavaScript

Maffeis

Mitchell

Taly

2008

Lecture Notes in Computer Science

100

View full text Add to dashboard Cite

Abstract. We define a small-step operational semantics for the ECMAScript 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.

show abstract