出版社内容情報
【解説】
関数，論理，対象指向に代表される概念に基づく新しいプログラミングの考え方を，基礎から，しかも実際のプログラミングに即して平易に述べた。
【目次】
新しいプログラミング，パラダイムをめぐって・制約論理型プログラミング・オブジェクト指向・Miranda他
内容説明
従来のプログラミングの考え方を超えた、関数、論理、対象指向に代表される概念に基づく新しいプログラミングの考え方を基礎から、しかも実際のプログラミングに即してわかりやすく解説。また、これからのソフトウェア科学の動向をうかがう上でも重要な資料を提供。
目次
新しいプログラミング・パラダイムをめぐって
ラムダ計算と高階プログラミング
マルセイユＰｒｏｌｏｇ、Ｐｒｏｌｇ ２，Ｐｒｏｌｏｇ ３
制約論理型プログラミング
オブジェクト指向
型推論とＭＬ
Ｍｉｒａｎｄａ
項書換えシステムと完備化手続き
等式プログラミングから融合型プログラミングへ
