プログラム変換 の商品レビュー

古川康一,溝口文雄【共編】

2011/12/12

第１章では、変換システムを生成とカタログ、全自動、システムの適用範囲に類別している。
第２章では、等価変換について説明し、外山芳人の成果を紹介している。
ここ以降、それぞれ論理型言語、部分計算、メタプログラミング、合成問題、ベクトル化、GHC、実用規模について論じている。

実用規模での変換で、実行時間の短縮が、スタック量の増大を招いているのは貴重な資料だと感じました。できれば追試したいが、どのようにすればよいかがわからないでいます。