8
IRUS TotalDownloads
Altmetric
An operational semantics for JavaScript
| File | Description | Size | Format | |
|---|---|---|---|---|
 DTR08-13.pdf | Published version | 327.9 kB | Adobe PDF | View/Open |
| Title: | An operational semantics for JavaScript |
| Authors: | Maffeis, S Mitchell, JC Taly, A |
| Item Type: | Report |
| Abstract: | 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. |
| Issue Date: | 1-Jan-2008 |
| URI: | http://hdl.handle.net/10044/1/95357 |
| DOI: | https://doi.org/10.25561/95357 |
| Publisher: | Department of Computing, Imperial College London |
| Start Page: | 1 |
| End Page: | 28 |
| Journal / Book Title: | Departmental Technical Report: 08/13 |
| Copyright Statement: | © 2008 The Author(s). This report is available open access under a CC-BY-NC-ND (https://creativecommons.org/licenses/by-nc-nd/4.0/) |
| Publication Status: | Published |
| Article Number: | 08/13 |
| Appears in Collections: | Computing Computing Technical Reports |
This item is licensed under a Creative Commons License
