 |
MinCamlコンパイラのダウンロード |
|
MinCaml コンパイラ概要 |
|
未踏ソフトウェア 成果報告 |
|
擬似コード |
|
英語論文 |
|
日本語論文 |
|
英語スライド |
|
日本語スライド |
|
性能比較 |
|
よくある質問 |
|
超特急: 一時間で わかるML超入門 |
 |
速攻MinCaml コンパイラ概説 |
| これは何？ | |
| MinCamlコンパイラのMakefile | |
| メインルーチン | |
| MinCamlの構文と型 | |
| コンパイラの方針 | |
| 字句解析 | |
| 構文解析 | |
| 型推論 | |
| K正規化 | |
| α変換 | |
| β簡約 | |
| ネストしたletの簡約 | |
| インライン展開 | |
| 定数畳み込み | |
| 不要定義削除 | |
| クロージャ変換 | |
| 仮想マシンコード生成 | |
| 13 bit即値最適化 | |
| レジスタ割り当て | |
| アセンブリ生成 | |
|
作者近況 |
|
©
Eijiro Sumii
<eijiro.sumii AT gmail.com> |
|