目次

• 表紙
• 目次
• 課題リスト
• 更新履歴
• 謝辞

1 はじめに

• 1.1 MiniMLコンパイラのユーザインタフェース
• 1.2 MiniMLコンパイラの全体構成

2 フロントエンド

• 2.1 言語仕様
• 2.2 構文解析
• 2.3 recur式の検査

3 正規化

• 3.1 正規形
• 3.2 正規形への変換

4 クロージャ変換

• 4.1 準備
• 4.2 組によるクロージャ表現

5 仮想機械

• 5.1 平滑化
• 5.2 仮想機械コードへの変換

6 コード生成

• 6.1 ARM命令セット
• 6.2 呼出し規約
• 6.3 コード生成
• 6.4 実行環境

7 最適化

• 7.1 データフロー解析
• 7.2 生存変数解析モジュール
• 7.3 レジスタ割付け
• 7.4 最適化

付録

• A 再帰的な階乗計算プログラムのコンパイル例
• B 課題5のための追加ヒント