プログラム変換

書籍情報
シリーズ名知識情報処理シリーズ 全8巻+別巻2 【7】巻
ISBN978-4-320-02267-6
判型A5 
ページ数192ページ
発行年月1987年08月
本体価格2,300円
プログラム変換 書影
プログラム変換

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

目次

第1章 プログラム変換入門

第2章 等式プログラムの等価交換

第3章 論理型言語におけるプログラム変換

第4章 部分計算

第5章 メタ・プログラミングと部分計算

第6章 合成問題への新しいアプローチ

第7章 ベクトル化とプログラム変換

第8章 GHCでのプログラム変換

第9章 実用規模プログラム変換試行事例