文献
J-GLOBAL ID:202202230305714994
整理番号:22A0777758
領域ベースメモリモデルによるLLVMの抽象解釈【JST・京大機械翻訳】
Abstract Interpretation of LLVM with a Region-Based Memory Model
著者 (2件):
Gurfinkel Arie
(University of Waterloo, Waterloo, Canada)
,
Navas Jorge A.
(SRI International, Menlo Park, USA)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
13124
ページ:
122-144
発行年:
2022年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)