コンピュータプログラミングの概念・技法・モデル
ピーター・ヴァン・ロイ、セイフ・ハリディ、羽永洋(訳) 、『コンピュータプログラミングの概念・技法・モデル』、翔泳社、2007年、ISBN 978-4798113463
Peter Van-Roy, Seif Haridi, Concepts, Techniques, and Models of Computer Programming, Mit Press, 2004, ISBN 978-0262220699
以下にこの教科書の目次を示す。
はじめに
プログラム例の実行について
第1章 プログラミング概念入門
第I部 一般的計算モデル 第2章 宣言的計算モデル 2.1 実用的プログラミング言語の定義 2.2 単一代入格納域 2.3 核言語 2.4 核言語の意味 2.5 メモリ管理 2.6 核言語から実用的言語へ 2.7 例外 2.8 進んだ話題 2.9 練習問題 第3章 宣言的プログラミング技法 3.1 宣言的とはどういうことか? 3.2 反復計算 3.3 再帰計算 3.4 再帰を用いるプログラミング 3.5 時間効率と空間効率 3.6 高階プログラミング 3.7 抽象データ型 3.8 宣言的でない必要物 3.9 小規模プログラム設計 3.10 練習問題 第4章 宣言的並列性 4.1 データ駆動並列モデル 4.2 スレッドプログラミングの基本的技法 4.3 ストリーム 4.4 宣言的並列モデルを直接使うこと 4.5 遅延実行 4.6 甘いリアルタイムプログラミング 4.7 Haskell言語 4.8 宣言的プログラミングの限界と拡張 4.9 進んだ話題 4.10 歴史に関する注記 4.11 練習問題 第5章 メッセージ伝達並列性 5.1 メッセージ伝達並列モデル 5.2 ポートオブジェクト 5.3 簡単なメッセージプロトコル 5.4 並列性のためのプログラム設計 5.5 リフト制御システム 5.6 メッセージ伝達モデルを直接使用すること 5.7 Erlang言語 5.8 進んだ話題 5.9 練習問題 第6章 明示的状態 6.1 状態とは何か?