An Operational Semantics for JavaScript

An Operational Semantics for JavaScript
复制标题

JavaScript 的操作语义

DOI：
--
复制
发表时间：
2008
期刊：
Asian Symposium on Programming Languages and Systems
影响因子：
--
通讯作者：
Ankur Taly
Ankur Taly
中科院分区：
--
文献类型：
--
作者：
S. Maffeis;John C. Mitchell;Ankur Taly

文献摘要

被引文献

相似文献

我们定义了一个小步操作语义的ECMAScript标准语言对应的JavaScript，作为分析Web应用程序和混搭的安全属性的基础。语义是基于语言标准和一些不同的实现和浏览器的实验。一些基本性质的语义证明，包括可靠性定理和可达部分的堆的表征。
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.