コンピュータプログラミングの概念・技法・モデル
2 分散モデル 11.3 宣言的データの分散 11.4 状態の分散 11.5 ネットワークアウェアネス 11.6 共通分散プログラミングパターン 11.7 分散プロトコル 11.8 部分的失敗 11.9 セキュリティ 11.10 アプリケーションを構築すること 11.11 練習問題 第12章 制約プログラミング 12.1 伝播・探索法 12.2 プログラミング技法 12.3 制約ベース計算モデル 12.4 計算空間を定義し,使うこと 12.5 関係計算モデルを実装すること 12.6 練習問題
第III部 意味 第13章 言語意味 13.1 一般的計算モデル 13.2 宣言的並列性 13.3 8つの計算モデル 13.4 よくある抽象の意味 13.5 歴史に関する注記 13.6 練習問題
第IV部 付録 付録A Mozartシステム開発環境 A.1 対話的インタフェース A.2 コマンドラインインタフェース 付録B 基本データ型 B.1 数 (整数,浮動小数点数,文字) B.2 リテラル (アトムと名前) B.3 レコードとタプル B.4 チャンク (制限つきレコード) B.5 リスト B.6 文字列 B.7 仮想文字列 付録C 言語構文 C.1 対話的文 C.2 文と式 C.3 文と式のための非終端記号 C.4 演算子 C.5 キーワード C.6 字句構文 付録D 一般的計算モデル D.1 創造的拡張原則 D.2 核言語 D.3 概念 D.4 違う形の状態 D.5 その他の概念 D.6 階層的言語設計
参考文献
索引