文献
J-GLOBAL ID:202002250245559231
整理番号:20A0267258
スプリンター:C++プログラムにおけるスマートポインタエラー発見のための静的チェッカー【JST・京大機械翻訳】
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs
著者 (5件):
Ma Xutong
(Institute of Software, Chinese Academy of Sciences)
,
Yan Jiwei
(Institute of Software, Chinese Academy of Sciences)
,
Li Yaqi
(Institute of Software, Chinese Academy of Sciences)
,
Yan Jun
(Institute of Software, Chinese Academy of Sciences)
,
Zhang Jian
(Institute of Software, Chinese Academy of Sciences)
資料名:
IEEE Conference Proceedings
(IEEE Conference Proceedings)
巻:
2019
号:
ASE
ページ:
1122-1125
発行年:
2019年
JST資料番号:
W2441A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)