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. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Maffeis, S., Mitchell, J. C., & Taly, A. (2008). An operational semantics for javaScript. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5356 LNCS, pp. 307–325). Springer Verlag. https://doi.org/10.1007/978-3-540-89330-1_22
Mendeley helps you to discover research relevant for your work.