The Next 700 Semantics: A Research Challenge
The Next 700 Semantics: A Research Challenge
复制标题
接下来的 700 个语义：研究挑战
DOI：
10.4230/lipics.snapl.2019.9
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Shriram Krishnamurthi, Benjamin S.
中科院分区：
文献类型：
--
作者：
Shriram Krishnamurthi, Benjamin S.
登录
查看更多内容
JavaScript 中经过测试的 getter、setter 和 eval 语义
DOI：
10.1145/2384577.2384579
发表时间：
2012
期刊：
Proceedings of the 8th symposium on Dynamic languages
影响因子：
--
作者：
J. Politz;Matthew J. Carroll;Benjamin S. Lerner;Justin Pombrio;S. Krishnamurthi
通讯作者：
S. Krishnamurthi
x86-64用户级指令集架构的完整形式语义
DOI：
10.1145/3314221.3314601
发表时间：
2019
期刊：
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Sandeep Dasgupta;D. Park;T. Kasampalis;Vikram S. Adve;Grigore Roşu
通讯作者：
Grigore Roşu
值得信赖的机械化 JavaScript 规范
DOI：
10.1145/2535838.2535876
发表时间：
2014
期刊：
--
影响因子：
--
作者：
Bodin M
通讯作者：
Bodin M
DOI：
10.1007/978-3-662-44202-9_23
发表时间：
2014-08
期刊：
--
影响因子：
--
作者：
Daniele Filaretti;S. Maffeis
通讯作者：
Daniele Filaretti;S. Maffeis
R 的值得信赖的机械化形式化
DOI：
--
发表时间：
2018
期刊：
Dynamic Languages Symposium
影响因子：
--
作者：
Martin Bodin;Tomás Díaz;É. Tanter
通讯作者：
É. Tanter