代表的なプログラム変換技術である部分計算法，展開/たたみ込み技術の理論と実際を詳細に解説。

第1章　プログラム変換入門
第2章　等式プログラムの等価交換
第3章　論理型言語におけるプログラム変換
第4章　部分計算
第5章　メタ・プログラミングと部分計算
第6章　合成問題への新しいアプローチ
第7章　ベクトル化とプログラム変換
第8章　GHCでのプログラム変換
第9章　実用規模プログラム変換試行事例