文献
J-GLOBAL ID:201502287045383772
整理番号:15A0363085
健全性を守るために:マニフェスト
In Defense of Soundiness: A Manifesto
著者 (10件):
LIVSHITS Benjamin
(Microsoft Res.)
,
SRIDHARAN Manu
(Samsung Res. America)
,
SMARAGDAKIS Yannis
(Univ. Athens)
,
LHOTAK Ondrej
(Univ. Waterloo)
,
AMARAL J. Nelson
(Univ. Alberta)
,
CHANG Bor-Yuh Evan
(Univ. Colorado Boulder)
,
GUYER Samuel Z.
(Tufts Univ.)
,
KHEDKER Uday P.
(Indian Inst. Technol. Bombay)
,
MOLLER Anders
(Aarhus Univ.)
,
VARDOULAKIS Dimitrios
(Google Inc.)
資料名:
Communications of the ACM (Association for Computing Machinery)
(Communications of the ACM (Association for Computing Machinery))
巻:
58
号:
2
ページ:
44-46
発行年:
2015年02月
JST資料番号:
B0330B
ISSN:
0001-0782
CODEN:
CACMA
資料種別:
逐次刊行物 (A)
記事区分:
文献レビュー
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)