MinCamlコンパイラ(ソフトウェア論文)
スポンサーリンク
概要
- 論文の詳細を見る
約2000行のMLコードにより実装された,教育目的のコンパイラMinCamlについて議論する.対象言語は値呼び,非純粋,暗な単相型を持つ高階関数型言語である.レイトレーシングを含むいくつかのアプリケーション・プログラムに対し,実行速度においてObjective CamlやGCCとほぼ同等のコードを生成することができた.
- 日本ソフトウェア科学会の論文
- 2008-04-24
著者
関連論文
- TACS 2001およびManfred Paul賞授賞式
- 特集「プログラミングおよびプログラミング言語」の編集にあたって
- MinCamlコンパイラ(ソフトウェア論文)
- spi計算における暗号プロトコルの形式的検証(数理的技法による情報セキュリティ)
- 動的に型付けされた言語のためのオンラインな型主導部分評価(特集●プログラミング及びプログラミング言語)
- POPL/PEPM'99会議報告
- POPL/PEPM'99会議報告