新しいプログラミング・パラダイム
著者
書誌事項
新しいプログラミング・パラダイム
共立出版, 1989.11-1990.11
- [正]
- 続
- タイトル読み
-
アタラシイ プログラミング パラダイム
大学図書館所蔵 全126件
この図書・雑誌をさがす
注記
参考文献: 各章末
[正]の執筆者: 相場亮ほか
続の執筆者: 井田哲雄ほか
続の編者: 井田哲雄, 田中二郎
内容説明・目次
- 巻冊次
-
[正] ISBN 9784320024939
内容説明
従来のプログラミングの考え方を超えた、関数、論理、対象指向に代表される概念に基づく新しいプログラミングの考え方を基礎から、しかも実際のプログラミングに即してわかりやすく解説。また、これからのソフトウェア科学の動向をうかがう上でも重要な資料を提供。
目次
- 新しいプログラミング・パラダイムをめぐって
- ラムダ計算と高階プログラミング
- マルセイユＰｒｏｌｏｇ、Ｐｒｏｌｇ ２，Ｐｒｏｌｏｇ ３
- 制約論理型プログラミング
- オブジェクト指向
- 型推論とＭＬ
- Ｍｉｒａｎｄａ
- 項書換えシステムと完備化手続き
- 等式プログラミングから融合型プログラミングへ
- 巻冊次
-
続 ISBN 9784320025356
内容説明
本書は、第三世代のプログラミング・パラダイムについて解説を行なったものである。それぞれのパラダイムの理念を整理して読者に語りかけたものである。
目次
- 第１章 並行プログラミングとＧＨＣ
- 第２章 様相論理とテンポラル・プログラミング
- 第３章 レコード・プログラミング
- 第４章 抽象データ型とＯＢＪ２
- 第５章 プログラム代数とＦＰ
- 第６章 カテゴリカル・プログラミング
- 第７章 最大公約数—普遍代数、多項式イデアル、自動証明におけるユークリッドの互除法
- 第８章 構成的プログラミング
- 第９章 メタプログラミングとリフレクション
「BOOKデータベース」 より