| Autor: |
Maffeis, S, Mitchell, JC, Taly, A |
| Rok vydání: |
2008 |
| Předmět: |
|
| Popis: |
We de ne 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 di erent 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. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
