Formal approach to guarantee the correctness of compiler optimization using temporal logic コンパイラ最適化の正しさの保証のための時相論理を用いた形式手法

この論文をさがす

著者

    • 方, 玲 ホウ, レイ

書誌事項

タイトル

Formal approach to guarantee the correctness of compiler optimization using temporal logic

タイトル別名

コンパイラ最適化の正しさの保証のための時相論理を用いた形式手法

著者名

方, 玲

著者別名

ホウ, レイ

学位授与大学

東京工業大学

取得学位

博士 (理学)

学位授与番号

甲第7911号

学位授与年月日

2010-03-26

注記・抄録

博士論文

各種コード

  • NII論文ID(NAID)
    500000547652
  • NII著者ID(NRID)
    • 8000000549745
  • 本文言語コード
    • eng
  • NDL書誌ID
    • 023313683
  • データ提供元
    • NDL-OPAC
ページトップへ