新しいプログラミング・パラダイム

Author(s)

Bibliographic Information

新しいプログラミング・パラダイム

井田哲雄編

共立出版, 1989.11-1990.11

  • [正]
  • 続

Title Transcription

アタラシイ プログラミング パラダイム

Available at  / 126 libraries

Note

参考文献: 各章末

[正]の執筆者: 相場亮ほか

続の執筆者: 井田哲雄ほか

続の編者: 井田哲雄, 田中二郎

Description and Table of Contents

Volume

[正] ISBN 9784320024939

Description

従来のプログラミングの考え方を超えた、関数、論理、対象指向に代表される概念に基づく新しいプログラミングの考え方を基礎から、しかも実際のプログラミングに即してわかりやすく解説。また、これからのソフトウェア科学の動向をうかがう上でも重要な資料を提供。

Table of Contents

  • 新しいプログラミング・パラダイムをめぐって
  • ラムダ計算と高階プログラミング
  • マルセイユＰｒｏｌｏｇ、Ｐｒｏｌｇ　２，Ｐｒｏｌｏｇ　３
  • 制約論理型プログラミング
  • オブジェクト指向
  • 型推論とＭＬ
  • Ｍｉｒａｎｄａ
  • 項書換えシステムと完備化手続き
  • 等式プログラミングから融合型プログラミングへ
Volume

続 ISBN 9784320025356

Description

本書は、第三世代のプログラミング・パラダイムについて解説を行なったものである。それぞれのパラダイムの理念を整理して読者に語りかけたものである。

Table of Contents

  • 第１章　並行プログラミングとＧＨＣ
  • 第２章　様相論理とテンポラル・プログラミング
  • 第３章　レコード・プログラミング
  • 第４章　抽象データ型とＯＢＪ２
  • 第５章　プログラム代数とＦＰ
  • 第６章　カテゴリカル・プログラミング
  • 第７章　最大公約数—普遍代数、多項式イデアル、自動証明におけるユークリッドの互除法
  • 第８章　構成的プログラミング
  • 第９章　メタプログラミングとリフレクション

by "BOOK database"

Details

  • NCID
    BN03984954
  • ISBN
    • 4320024931
    • 4320025350
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    2冊
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top