関数プログラミング : JSSST'91

日本ソフトウェア科学会関数プログラミング研究会 編著

[目次]

  • 1 関数プログラミングの実際
  • 2 並行動作システムのMirandaによる仕様記述
  • 3 カテゴリー理論とプログラミング カルテシアン閉カテゴリー
  • 4 抽象実行 そのフレームワークと実例
  • 5 論理プログラムの抽象解釈を用いた解析
  • 6 一般化論理プログラムのUnfold変換
  • 7 完全遅延評価と部分計算
  • 8 関数・論理型プログラミング言語のための遅延ナローイング計算系
  • 9 単一化としての遅延評価 一般化論理プログラムからのアプローチ
  • 10 生成関数の導入によるアルゴリズムの導出

「BOOKデータベース」より

この本の情報

書名 関数プログラミング : JSSST'91
著作者等 日本ソフトウェア科学会
日本ソフトウェア科学会関数プログラミング研究会
武市 正人
書名ヨミ カンスウ プログラミング
シリーズ名 レクチャーノート/ソフトウェア学 3
出版元 近代科学社
刊行年月 1992.12
ページ数 190p
大きさ 26cm
ISBN 4764902036
NCID BN08412980
※クリックでCiNii Booksを表示
全国書誌番号
93014317
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想