一句话：针对现代 JavaScript 形式语义人工编写、易错且滞后的问题，论文提出 JISET；所给摘要未展开具体方法。
论文关注 JavaScript 形式语义的定义与维护问题。JavaScript 最初用于浏览器客户端编程，如今其引擎嵌入各类宿主软件；但其动态特性使语义十分复杂，理解和推理 JavaScript 程序颇具挑战。已有研究尝试基于官方 ECMAScript 规范给出形式语义，然而这些工作依赖人工、劳动密集且容易出错，并且目标均为 ECMAScript 5.1（2011）或更早版本，无法覆盖 ECMAScript 6（2015）以来引入的现代语言特性。此外，ECMAScript 自 ES6 起每年更新，ES5.1 之后已有五个版本发布，进一步加剧了形式语义的维护困难。标题表明论文提出 JISET，但所给摘要未展开其方法、实现或评估。
JavaScript was initially designed for client-side programming in web browsers, but its engine is now embedded in various kinds of host software. Despite the popularity, since the JavaScript semantics is complex especially due to its dynamic nature, understanding and reasoning about JavaScript programs are challenging tasks. Thus, researchers have proposed several attempts to define the formal semantics of JavaScript based on ECMAScript, the official JavaScript specification. However, the existing approaches are manual, labor-intensive, and error-prone and all of their formal semantics target ECMAScript 5.1 (ES5.1, 2011) or its former versions. Therefore, they are not suitable for understanding modern JavaScript language features introduced since ECMAScript 6 (ES6, 2015). Moreover, ECMAScript has been annually updated since ES6, which already made five releases after ES5.1.
DOI 原文 ·
@inproceedings{paperbot6009,
title = {JISET},
author = {Jihyeok Park and Jihee Park and Seungmin An and Sukyoung Ryu},
booktitle = {ASE},
year = {2020},
doi = {10.1145/3324884.3416632}
}