文献
J-GLOBAL ID:201802233278955292
整理番号:18A0353091
抽象で失われるもの:マルチスレッドプログラムにおける単調性【Powered by NICT】
Lost in abstraction: Monotonicity in multi-threaded programs
著者 (3件):
Kaiser Alexander
(University of Oxford, United Kingdom)
,
Kroening Daniel
(University of Oxford, United Kingdom)
,
Wahl Thomas
(Northeastern University, Boston, United States)
資料名:
Information and Computation
(Information and Computation)
巻:
252
ページ:
30-47
発行年:
2017年
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)