In Defense of Soundiness: A Manifesto

被引：160

作者：

Livshits, Benjamin

Sridharan, Manu

Smaragdakis, Yannis ^{[1
]}

Lhotak, Ondrej ^{[2
]}

Amaral, J. Nelson ^{[3
]}

Chang, Bor-Yuh Evan ^{[4
]}

Guyer, Samuel Z. ^{[5
]}

Khedker, Uday P. ^{[6
]}

Moller, Anders ^{[7
]}

Vardoulakis, Dimitrios

机构：

[1] Univ Athens, GR-10679 Athens, Greece

[2] Univ Waterloo, Waterloo, ON N2L 3G1, Canada

[3] Univ Alberta, Edmonton, AB T6G 2M7, Canada

[4] Univ Colorado, Boulder, CO 80309 USA

[5] Tufts Univ, Medford, MA USA

[6] Indian Inst Technol, Bombay, Maharashtra, India

[7] Aarhus Univ, DK-8000 Aarhus C, Denmark

来源：

关键词：

D O I：

10.1145/2644805

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：44 / 46

页数：3

共 50 条