文献
J-GLOBAL ID:201802213791028816
整理番号:18A1814711
プリエンプティブ型検査【JST・京大機械翻訳】
Preemptive type checking
著者 (4件):
Grech Neville
(University of Athens, Greece)
,
Grech Neville
(University of Malta, Malta)
,
Fischer Bernd
(University of Stellenbosch, South Africa)
,
Rathke Julian
(University of Southampton, United Kingdom)
資料名:
Journal of Logical and Algebraic Methods in Programming
(Journal of Logical and Algebraic Methods in Programming)
巻:
101
ページ:
151-181
発行年:
2018年
JST資料番号:
W1593A
ISSN:
2352-2208
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)