Automatically deriving JavaScript static analyzers from specifications using Meta-level static analysis

被引：0

作者：

Park, Jihyeok ^{[1
]}

An, Seungmin ^{[2
]}

Ryu, Sukyoung ^{[2
]}

机构：

[1] Oracle, Brisbane, Australia

[2] Kaist, Daejeon, Korea, Republic of

来源：

ESEC/FSE 2022 - Proceedings of the 30th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering | 2022年

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

High level languages - Specifications

引用

页码：1022 / 1034