文献

J-GLOBAL ID：201302246705692584   整理番号：13A1340179

C11/C++11メモリモデルにおける妥当な最適化理論によるコンパイラ検査

Compiler Testing via a Theory of Sound Optimisations in the C11/C++11 Memory Model

著者 (5件)： MORISSET Robin (ENS) ,  MORISSET Robin (INRIA) ,  PAWAN Pankaj (INRIA) ,  PAWAN Pankaj (IIT Kanpur) ,  NARDELLI Francesco Zappa (INRIA)
資料名： ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)  (ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages))
巻： 48  号： 6  ページ： 187-196  発行年： 2013年06月 
JST資料番号： D0915A  ISSN： 0362-1340  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

シソーラス用語： *コンパイラ ,  *並行処理 ,  ソフトウェア障害 ,  プログラム検証 ,  *最適化 ,  プログラム変換 ,  プログラム検査
準シソーラス用語： コンカレント処理 ,  コンパイラー最適化 ,  ソフトウェア検証 ,  バグ ,  メモリモデル

分類 (1件)： 言語プロセッサ  (JD03040F)

タイトルに関連する用語 (4件)： モデル ,  最適化理論 ,  コンパイラ ,  検査