<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

An operational semantics for JavaScript

Name: An operational semantics for JavaScript
Keywords: 004

descriptionPublicationkeyboard_double_arrow_right Report 01 Jan 2008Embargo end date: 09 Mar 2022 United Kingdom Publisher:Imperial College London

Authors: Maffeis, S; Mitchell, JC; Taly, A;

doi: 10.25561/95357

handle: 10044/1/95357

An operational semantics for JavaScript

- Summary
- Subjects
- Metrics

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.

Country

United Kingdom

Related Organizations

Imperial College London
United Kingdom

Keywords

004

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average

Found an issue? Give us feedback

Average

Green