検索
前のページに戻る
プログラムの性能を理論的に考慮したコンパイラの検証と構築
研究課題
戦略的な研究開発の推進
戦略的創造研究推進事業
さきがけ
体系的番号
JPMJPR9958
DOI
https://doi.org/10.52926/JPMJPR9958
研究代表者
南出 靖彦
筑波大学, 電子・情報光学系, 講師
研究期間 (年度)
1999 – 2002
概要
実行時間、必要な記憶領域の大きさなどのプログラムの性能にコンパイラが及ぼす影響を理論的に検証する枠組みを構築し、性能に関して様々な性質を保証するコンパイラを構築する基礎を確立します。
研究領域
情報と知
報告書
(1件)
2002
終了報告書
(
PDF
)