  |
第1章 プログラム変換入門 佐藤泰介1.1 今なぜプログラム変換か？1.2 変換あれこれ1.3システム化について第2章 等式プログラムの等価変換 二木厚吉2.1等価変換例2.2等価性2.3等価変換法2.4 おわりに第3章 論理型言語におけるプログラム変換 玉木久夫3.1 はじめに3.2論理プログラムとその意味論3.3 展開/たたみ込み変換：例題3.4 展開/たたみ込み変換の正当性3.5 他の変換との両立性3.6 おわりに第4章 部分計算 二村良彦4.1 はじめに4.2 部分計算の概要4.3 部分計算の応用例4.4 部分計算の理論4.5実用化のための課題第5章 メタ・プログラミングと部分計算 竹内彰一5.1 はじめに5.2Prologプログラムの部分計算5.3メタ・プログラミングへの応用5.4メタ・インタプリタの段階的特殊化5.5 おわりに第6章 合成問題への新しいアプローチ 佐藤泰介6.1 否定技法6.2 二重否定技法6.3論理プログラムの合成第7章 ベクトル化とプログラム変換 安村通晃7.1 はじめに7.2プログラム変換7.3ベクトル化7.4 主要変換7.5 基軸変換7.6 その他の変換7.7ベクトル化におけるプログラム変換の特徴7.8 おわりに第8章 GHCでのプログラム変換 吉川康一8.1 はじめに8.2 簡単な問題8.3フィルタ・プロセスの融合8.4プログラム変換の手順8.5電子回路シミュレータへの応用8.6 おわりに第9章 実用規模プログラムの変換試行事例 吉田紀彦9.1 はじめに9.2コンパイラの変換9.3プログラム変換の実用可能性9.4 おわりに
12