書誌事項

プログラム変換

古川康一, 溝口文雄共編

(知識情報処理シリーズ / 古川康一, 溝口文雄共編 ; 淵一博監修, 7)

共立出版, 1987.8

タイトル読み

プログラム ヘンカン

電子リソースにアクセスする 全1
注記

各章末: 参考文献

執筆: 佐藤泰介 [ほか]

監修: 淵一博

内容説明・目次

目次

  • 第1章 プログラム変換入門
  • 第2章 等式プログラムの等価変換
  • 第3章 論理型言語におけるプログラム変換
  • 第4章 部分計算
  • 第5章 メタ・プログラミングと部分計算
  • 第6章 合成問題への新しいアプローチ
  • 第7章 ベクトル化とプログラム変換
  • 第8章 GHCでのプログラム変換
  • 第9章 実用規模プログラムの変換試行事例

「BOOKデータベース」 より

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ