プログラム変換 知識情報処理シリーズ7

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

• 販売会社／発売会社: 共立出版/
• 発売年月日: 1987/08/01
• JAN: 9784320022676

商品レビュー

2011/12/12

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

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