コンピュータプログラミングの概念・技法・モデル
6.2 状態とシステム構築 6.3 明示的状態を持つ宣言的モデル 6.4 データ抽象 6.5 状態ありコレクション 6.6 状態に関する推論 6.7 大規模プログラムの設計 6.8 ケーススタディ 6.9 進んだ話題 6.10 練習問題 第7章 オブジェクト指向プログラミング 7.1 継承 7.2 完全なデータ抽象としてのクラス 7.3 漸増的データ抽象としてのクラス 7.4 継承を使うプログラミング 7.5 他の計算モデルとの関係 7.6 オブジェクトシステムを実装すること 7.7 Java (直列部分) 7.8 能動的オブジェクト 7.9 練習問題 第8章 状態共有並列性 8.1 状態共有並列モデル 8.2 並列性を持つプログラミング 8.3 ロック 8.4 モニタ 8.5 トランザクション 8.6 Java言語 (並列部分) 8.7 練習問題 第9章 関係プログラミング 9.1 関係計算モデル 9.2 別の例 9.3 論理型プログラミングとの関係 9.4 自然言語構文解析 9.5 文法インタプリタ 9.6 データベース 9.7 Prolog言語 9.8 練習問題
第II部 特殊化された計算モデル 第10章 グラフィカルユーザインタフェースプログラミング 10.1 宣言的/手続き的手法 10.2 宣言的/手続き的手法を使うこと 10.3 対話的学習ツール Prototyper 10.4 ケーススタディ 10.5 GUIツールを実装すること 10.6 練習問題 第11章 分散プログラミング 11.1 分散システムの分類 11.