文献

J-GLOBAL ID：201002201545658567   整理番号：10A0961191

Javaメモリモデルにおける因果関係要求事項の検証は決定不能

Verification of Causality Requirements in Java Memory Model Is Undecidable

著者 (3件)： BOTINCAN Matko (Univ. Zagreb) ,  GLAVAN Paola (Univ. Zagreb) ,  RUNJE Davor (Univ. Zagreb)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 6068  ページ： 62-67  発行年： 2010年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： Java ,  モデル ,  因果関係 ,  検証