プログラム変換
Author(s)
Bibliographic Information
プログラム変換
(知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修, 7)
共立出版, 1987.8
- Title Transcription
-
プログラム ヘンカン
Access to Electronic Resource 1 items
-
-
プログラム変換
1987
Limited -
プログラム変換
Available at / 196 libraries
-
University of Tsukuba Library, Library on Library and Information Science
007.1:F-93:7870009300
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
各章末: 参考文献
執筆: 佐藤泰介 [ほか]
監修: 淵一博
Description and Table of Contents
Table of Contents
- 第1章 プログラム変換入門
- 第2章 等式プログラムの等価変換
- 第3章 論理型言語におけるプログラム変換
- 第4章 部分計算
- 第5章 メタ・プログラミングと部分計算
- 第6章 合成問題への新しいアプローチ
- 第7章 ベクトル化とプログラム変換
- 第8章 GHCでのプログラム変換
- 第9章 実用規模プログラムの変換試行事例
by "BOOK database"