An Operational Semantics for JavaScript?

Authors: 
Maffeis, Sergio; Mitchell, John; Taly, Ankur
Author: 
Maffeis, S
Mitchell, J
Taly, A
Year: 
2008
URL: 
http://www.springerlink.com/index/q54rt98v8374h9k1.pdf
Citations: 
0
Citations range: 
n/a

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.

None
Login or register to tag items