出版社内容情報
【解説】
代表的なプログラム変換技術である部分計算法，展開／たたみ込み技術の理論と実際を詳細に解説。目次：プログラム変換入門・論理型言語におけるプログラム変換・部分計算・ＧＨＣでのプログラム変換他
【目次】
目次
第１章 プログラム変換入門
第２章 等式プログラムの等価変換
第３章 論理型言語におけるプログラム変換
第４章 部分計算
第５章 メタ・プログラミングと部分計算
第６章 合成問題への新しいアプローチ
第７章 ベクトル化とプログラム変換
第８章 ＧＨＣでのプログラム変換
第９章 実用規模プログラムの変換試行事例
