出版社内容情報
【解説】
前作よりもさらに最先端のプログラミングの話題を集め，新しいプログラミングの可能性を追求。
【目次】
並行プログラミングとＧＨＣ・様相論理とテンポラルプログラミング・レコードプログラミング・抽象データ型他
内容説明
本書は、第三世代のプログラミング・パラダイムについて解説を行なったものである。それぞれのパラダイムの理念を整理して読者に語りかけたものである。
目次
第１章 並行プログラミングとＧＨＣ
第２章 様相論理とテンポラル・プログラミング
第３章 レコード・プログラミング
第４章 抽象データ型とＯＢＪ２
第５章 プログラム代数とＦＰ
第６章 カテゴリカル・プログラミング
第７章 最大公約数―普遍代数、多項式イデアル、自動証明におけるユークリッドの互除法
第８章 構成的プログラミング
第９章 メタプログラミングとリフレクション
