プログラム変換
著者
書誌事項
プログラム変換
(知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修, 7)
共立出版, 1987.8
- タイトル読み
-
プログラム ヘンカン
電子リソースにアクセスする 全1件
-
-
プログラム変換
1987
限定公開 -
プログラム変換
大学図書館所蔵 件 / 全196件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
各章末: 参考文献
執筆: 佐藤泰介 [ほか]
監修: 淵一博
内容説明・目次
目次
- 第1章 プログラム変換入門
- 第2章 等式プログラムの等価変換
- 第3章 論理型言語におけるプログラム変換
- 第4章 部分計算
- 第5章 メタ・プログラミングと部分計算
- 第6章 合成問題への新しいアプローチ
- 第7章 ベクトル化とプログラム変換
- 第8章 GHCでのプログラム変換
- 第9章 実用規模プログラムの変換試行事例
「BOOKデータベース」 より