程序設計語言：設計與實現(xiàn) 第三版

第一部分 概念
第1章 程序語言的學習
1.1 為什么要學習程序設計語言
1.2 程序語言簡史
1.2.1 早期語言的發(fā)展歷史
1.2.2 程序語言的地位
1.3 程序設計語言的要素
1.3.1 良好語言的特征
1.3.2 應用領域
1.3.3 語言標準
1.4 環(huán)境對語言的影響
l.4.1 批處理環(huán)境
1.4.2 交互式環(huán)境
1.4.3 嵌入式系統(tǒng)環(huán)境
1.4.4 編程環(huán)境
1.4.5 環(huán)境框架
1.5 參考資料
1.6 習題
第2章 語言的設計
2.1 計算機的結構和操作
2.1.1 計算機硬件結構
2.1.2 固件計算機
2.1.3 翻譯器和軟件模擬計算機
2.2 虛擬計算機和約束時間
2.2.1 語法和語義
2.2.2 虛擬計算機和語言實現(xiàn)
2.2.3 計算機的層次
2.2.4 約束和約束時間
2.3 語言范例
2.4 參考資料
2.5 習題
第3章 語言的翻譯
3.1 編程語言的文法
3.1.1 通用的語法標準
3.1.2 語言的語法要素
3.1.3 主程序—子程序結構
3.2 翻譯的步驟
3.2.1 源程序的分析
3.2.2 目標程序的綜合
3.3 形式編譯模式
3.3.1 BNF文法
3.3.2 有限狀態(tài)自動機
3.3.3 下推自動機
3.3.4 有效的語法分析算法
3.3.5 語義模型
3.4 參考資料
3.5 習題
第4章 數(shù)據(jù)類型
4.1 類型和對象的性質(zhì)
4.1.1 數(shù)據(jù)對象、變量和常量
4.1.2 數(shù)據(jù)類型
4.1.3 基本數(shù)據(jù)類型的表示
4.1.4 基本數(shù)據(jù)類型的實現(xiàn)
4.1.5 說明
4.1.6 類型檢查和類型轉換
4.1.7 賦值和初始化
4.2 基本數(shù)據(jù)類型
4.2.1 數(shù)字數(shù)據(jù)類型
4.2.2 枚舉類型
4.2.3 布爾類型
4.2.4 字符型
4.2.5 國際化
4.3 結構數(shù)據(jù)類型
4.3.1 結構化數(shù)據(jù)對象和類型
4.3.2 數(shù)據(jù)結構類型的說明
4.3.3 數(shù)據(jù)結構類型的實現(xiàn)
4.3.4 數(shù)據(jù)結構的說明和類型檢查
4.3.5 向量和數(shù)組
4.3.6 記錄
4.3.7 表
4.3.8 字符串
4.3.9 指針及程序員構造的數(shù)據(jù)對象
4.3.10 集合
4.3.11 可執(zhí)行的數(shù)據(jù)對象
4.3.12 文件及其輸入／輸出
4.4 參考資料
4.5 習題
第5章 抽象Ⅰ：封裝
5.1 抽象的數(shù)據(jù)類型
5.1.1 數(shù)據(jù)類型的概念和發(fā)展
5.1.2 信息隱藏
5.2 子程序?qū)崿F(xiàn)的封裝
5.2.1 作為抽象操作的子程序
5.2.2 子程序的定義和調(diào)用
5.2.3 作為數(shù)據(jù)對象的子程序定義
5.3 類型定義
5.3.1 類型相同
5.3.2 帶有參數(shù)的類型定義
5.4 存儲管理
5.4.1 運行時需要存儲的主要元素
5.4.2 程序員和系統(tǒng)控制的存儲管理
5.4.3 靜態(tài)的存儲管理
5.4.4 基于堆棧的存儲管理
5.4.5 堆存儲管理：固定大小單元
5.4.6 堆存儲管理：可變長的單元
5.5 參考資料
5.6 習題
第6章 順序控制
6.1 隱含的順序控制和明確的順序控制
6.2 數(shù)學表達式的定序
6.2.1 樹結構表示法
6.2.2 執(zhí)行時表示法
6.3 非數(shù)學表達式的定序
6.3.1 模式配對
6.3.2 合一
6.3.3 回溯
6.4 語句之間的順序控制
6.4.1 基本語句
6.4.2 結構化的順序控制
6.4.3 基本程序
6.5 參考資料
6.6 習題
第7章 子程序控制
7.1 子程序順序控制
7.1.1 簡單的Call－Return子程序
7.1.2 遞歸于程序
7.2 數(shù)據(jù)控制的屬性
7.2.1 命名和引用環(huán)境
7.2.2 靜態(tài)和動態(tài)作用域
7.2.3 塊結構
7.2.4 局部數(shù)據(jù)和局部引用環(huán)境
7.3 子程序中的共享數(shù)據(jù)
7.3.1 參數(shù)和參數(shù)傳遞
7.3.2 顯式共同環(huán)境
7.3.3 動態(tài)域
7.3.4 靜態(tài)域和塊結構
7.4 參考資料
7.5 習題
第8章 抽象Ⅱ：繼承
8.1 再論抽象數(shù)據(jù)類型
8.2 繼承
8.2.1 派生類
8.2.2 方法
8.2.3 抽象類
8.2.4 對象和消息
8.2.5 有關抽象的概念
8.3 多態(tài)性
8.4 參考資料
8.5 習題
第9章 語言設計進展
9.1 子程序控制的變體
9.1.1 異常和異常處理程序
9.1.2 協(xié)同程序
9.1.3 子程序調(diào)度
9.1.4 非順序執(zhí)行
9.2 并行程序設計
9.2.1 并發(fā)運行
9.2.2 衛(wèi)式語句
9.2.3 任務
9.2.4 任務的同步
9.3 語言的形式性質(zhì)
9.3.1 Chomsky層次文法
9.3.2 不可判定性
9.3.3 算法復雜性
9.4 語言的語義
9.4.1 指稱語義
9.4.2 程序驗證
9.4.3 代數(shù)數(shù)據(jù)類型
9.4.4 消解
9.5 硬件
9.5.1 處理器設計
9.5.2 系統(tǒng)設計
9.6 軟件的體系結構
9.6.1 持久性數(shù)據(jù)和事務系統(tǒng)
9.6.2 網(wǎng)終和客戶機/服務器計算
9.6.3 桌面排版
9.6.4 程序設計語言的發(fā)展趨勢
9.7 參考資料
9.8 習題
第二部分 范例和語言
第10章 簡單過程式程序設計語言
10.1 FORTRAN
10.1.1 發(fā)展歷史
10.1.2 程序舉例
10.1.3 語言概述
10.1.4 數(shù)據(jù)對象
10.1.5 順序控制
10.1.6 子程序和存儲管理
10.1.7 抽象與封裝
10.1.8 對該語言的評價
10.2 C
10.2.1 發(fā)展歷史
10.2.2 程序舉例
10.2.3 語言概述
10.2.4 數(shù)據(jù)對象
10.2.5 順序控制
10.2.6 子程序和存儲管理
10.2.7 抽象與封裝
10.2.8 對該語言的評價
10.3 參考資料
10.4 習題
第11章 塊結構過程式程序設計語言
11.1 PASCAL
11.1.1 發(fā)展歷史
11.1.2 程序舉例
11.1.3 語言概述
11.1.4 數(shù)據(jù)對象
11.1.5 順序控制
11.1.6 子程序和存儲管理
11.1.7 抽象與封裝
11.1.8 對該語言的評價
11.2 參考資料
11.3 習題
第12章 基于對象的語言
12.1 ADA
12.1.1 發(fā)展歷史
12.1.2 程序舉例
12.1.3 語言概述
12.1.4 數(shù)據(jù)對象
12.1.5 順序控制
12.1.6 子程序和存儲管理
12.1.7 抽象與封裝
12.1.8 對該語言的評價
12.2 C++
12.2.1 發(fā)展歷史
12.2.2 程序舉例
12.2.3 語言概述
12.2.4 數(shù)據(jù)對象
12.2.5 順序控制
12.2.6 子程序和存儲管理
12.2.7 抽象與封裝
12.2.8 對該語言的評價
12.3 Smalltalk
12.3.1 發(fā)展歷史
12 3.2 程序舉例
12.3.3 語言概述
12.3.4 數(shù)據(jù)對象
12.3.5 順序控制
12.3.6 子程序和存儲管理
12.3.7 抽象與封裝
12.3.8 對該語言的評價
12.4 參考資料
12.5 習題
第13章 函數(shù)式程序設計語言
13.1 LISP
13.1.1 發(fā)展歷史
13.1.2 程序舉例
13.1.3 語言概述
13.1.4 數(shù)據(jù)對象
13.1.5 順序控制
13.1.6 子程序和存儲管理
13.1.7 抽象與封裝
13.1.8 對該語言的評價
13.2 ML
13.2.1 發(fā)展歷史
13.2.2 程序舉例
13.2.3 語言概述
13.2.4 數(shù)據(jù)對象
13.2.5 順序控制
13.2.6 子程序和存儲管理
13.2.7 抽象與封裝
13.2.8 對該語言的評價
13.3 參考資料
13.4 習題
第14章 邏輯式程序設計語言
14.1 Prolog
14.1.1 發(fā)展歷史
14.1.2 程序舉例
14.1.3 語言概述
14.1.4 數(shù)據(jù)類型
l4.1.5 順序控制
14.1.6 子程序和存儲管理
14.1.7 抽象與封裝
14.1.8 對該語言的評價
14.2 參考資料
14.3 習題
參考文獻