程序設(shè)計(jì)語(yǔ)言：設(shè)計(jì)與實(shí)現(xiàn) 第三版

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