コンパイラにおけるSSA形式を用いた変換と最適化の新しい方式とその検証器の研究

• 資料種別: 図書
• タイトル: コンパイラにおけるSSA形式を用いた変換と最適化の新しい方式とその検証器の研究
• タイトルよみ: コンパイラ ニ オケル SSA ケイシキ オ モチイタ ヘンカン ト サイテキカ ノ アタラシイ ホウシキ ト ソノ ケンショウキ ノ ケンキュウ
• 著者・編者: 佐々政孝, 東京工業大学 [著]
• 著者標目: 著者 ： 佐々, 政孝, 1948- サッサ, マサタカ, 1948- ( 00199480 )典拠; 東京工業大学 トウキョウ コウギョウ ダイガク ( 00259309 )典拠
• 出版事項: [佐々政孝]
• 出版年月日等: 2004-2006; 2007.4
• 出版年（W3CDTF）: 2004; 2006
• 数量: 1冊
• その他のタイトル: 研究種目 基盤研究(C)
• 出版地（国名コード）: JP
• 本文の言語コード: jpn; eng
• 件名標目: コンパイラ / 最適化 / 静的単一代入形式 (SSA形式) / モデル検査 / 時相論理 コンパイラ / サイテキ カ / セイテキ タンイツ ダイニュウ ケイシキ (SSA ケイシキ) / モデル ケンサ / ジソウ ロンリ
• NDLC: Y151
• 一般注記: 文部科学省科学研究費補助金研究成果報告書
• 科研費課題番号: 16500016
• 所蔵機関: 国立国会図書館
• 請求記号: Y151-H16500016
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000009280237; http://id.ndl.go.jp/bib/000009280237
• 整理区分コード: 214