Calcコンパイラの作成

スポンサーリンク

概要

論文の詳細を見る
簡単な関数型言語Calcを設計し,そのコンパイラを作成したのでその模様を報告する.Calcは1階の関数型言語で数値計算蚤行うことを念頭に,代入可能な配列を扱うことができる.CalcのプログラムはCalcコンパイラ,によって字句解析,構文解析を経て,k-正規形と呼ばれる中間言語に変換される.最適化には変数名のつけかえ,不要変数除去,定数伝搬などの通常のものに加え,このコンパイラ特有の最適化として部分評価に匹敵する強力な関数展開を備えている.さらに,コード生成部においては,末尾呼び出し最適化や配列アクセスの埋め込みを行っている.コンパイラの構造は従来の最適化に比べて比較的簡明であるが,実際にこの上でキャビティーフローを計算する数値シミュレーションプログラムを動かしたところ,Cに近い性能で実行することができた.
一般社団法人情報処理学会の論文
2003-12-15

著者

関連論文

もっと見る

スポンサーリンク