文献
J-GLOBAL ID:201902240354210691
整理番号:19A1317860
分離論理によるポインタプログラム検証の完全性と表現性【JST・京大機械翻訳】
Completeness and expressiveness of pointer program verification by separation logic
著者 (3件):
Tatsuta Makoto
(National Institute of Informatics, 2-1-2 Hitotsubashi, 101-8430 Tokyo, Japan)
,
Chin Wei-Ngan
(Department of Computer Science, National University of Singapore, Singapore)
,
Al Ameen Mahmudul Faisal
(Department of Computer Science, National University of Singapore, Singapore)
資料名:
Information and Computation
(Information and Computation)
巻:
267
ページ:
1-27
発行年:
2019年
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)