文献
J-GLOBAL ID:202002232179745078
整理番号:20A0855294
単一パスHEAP操作プログラムのためのメモリ安全性の決定【JST・京大機械翻訳】
Deciding memory safety for single-pass heap-manipulating programs
著者 (5件):
Mathur Umang
(University of Illinois at Urbana-Champaign, USA)
,
Murali Adithya
(University of Illinois at Urbana-Champaign, USA)
,
Krogmeier Paul
(University of Illinois at Urbana-Champaign, USA)
,
Madhusudan P.
(University of Illinois at Urbana-Champaign, USA)
,
Viswanathan Mahesh
(University of Illinois at Urbana-Champaign, USA)
資料名:
Proceedings of the ACM on Programming Languages
(Proceedings of the ACM on Programming Languages)
巻:
4
号:
POPL
ページ:
1-29
発行年:
2019年
JST資料番号:
W5683A
ISSN:
2475-1421
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)