程序設計語言原理（原書第8版）

出版者的話
專家指導委員會
譯者序
前言
第1章 基本概念
1.1 學習程序設計語言原理的緣由
l.2 程序設計應用領域
1.3 語言評估標準
1.4 影響語言設計的因素
1.5 語言分類
1.6 語言設計中的權衡
1.7 實現(xiàn)方法
1.8 程序設計環(huán)境
小結*復習題*練習題
第2章 主要程序設計語言的發(fā)展
2.1 Zuse的Plankalktil語言
2.2 最小硬件的程序設計：偽代碼
2.3 IBM 704計算機與Fortran
2.4 函數(shù)式程序設計語言：LISP
2.5 邁向成熟的第一步：ALGOL 60
2.6 商務記錄計算機化：COBOL
2.7 分時操作的開始：BASIC
2.8 用途廣泛的語言：PL／I
2.9 兩種早期的動態(tài)語言：APL和SNOBOL
2.10 數(shù)據(jù)抽象的開始：SIMuLA 67
2.11 正交性語言的設計：ALGOL 68
2.12 早期ALGOL系列語言的后代產(chǎn)品
2.13 基于邏輯的程序設計：Prolog
2.14 歷史上規(guī)模最大的語言設計：Ada
2.15 面向?qū)ο蟮某绦蛟O計：Smalltalk
2.16 結合命令式與面向?qū)ο蟮奶匦裕篊++
2.17 一種基于命令式的面向?qū)ο笳Z言：Java
2.18 腳本語言：JavaScript、PHP、Python和Ruby
2.19 一種基于c的新世紀語言：C#
2.20 標志與程序設計混合式語言
小結*文獻注釋*復習題*練習題*程序設計
練習題
第3章 描述語法和語義
3.1 概述
3.2 描述語法的普遍問題
3.3 描述語法的形式方法
3.4 屬性文法
3.5 描述程序的意義：動態(tài)語義
小結*文獻注釋*復習題*練習題
第4章 詞法分析和語法分析
4.1 概述
4.2 詞法分析
4.3 語法分析問題
4.4 遞歸下降語法分析
4.5 自底向上語法分析
小結*復習題*練習題*程序設計練習題
第5章 名字、綁定、類型檢測和作用域
5.1 概述
5.2 名字
5.3 變量
5.4 綁定的概念
5.5 類型檢測
5.6 強類型化
5.7 類型等價
5.8 作用域
5.9 作用域與生存期
5.10 引用環(huán)境
5.11 命名常量
小結*復習題*練習題*程序設計練習題
第6章 數(shù)據(jù)類型
6.1 概述
6.2 基本數(shù)據(jù)類型
6.3 字符串類型
6.4 用戶定義的序數(shù)類型
6.5 數(shù)組類型
6.6 關聯(lián)數(shù)組
6.7 記錄類型
6.8 聯(lián)合類型
6.9 指針類型與引用類型
小結*文獻注釋*復習題*練習題*程序
設計練習題
第7章 表達式與賦值語句
7.1 概述
7.2 算術表達式
7.3 重載操作符
7.4 類型轉(zhuǎn)換
7.5 關系表達式和布爾表達式
7.6 短路求值
7.7 賦值語句
7.8 混合模式賦值
小結*復習題*練習題*程序設計練習題
第8章 語句層次的控制結構
8.1 概述
8.2 選擇語句
8.3 循環(huán)語句
8.4 無條件分支
8.5 守衛(wèi)的命令
8.6 結論
小結*復習題*練習題*程序設計練習題
第9章 子程序
9.1 概述
9.2 子程序的基本原理
9.3 子程序的設計問題
9.4 局部引用環(huán)境
9.5 參數(shù)傳遞方法
9.6 子程序名作為參數(shù)
9.7 重載子程序
9.8 通用子程序
9.9 函數(shù)的設計問題
9.10 用戶定義的重載操作符
9.11 協(xié)同程序
小結*復習題*練習題*程序設計練習題
第10章 實現(xiàn)子程序
10.1 調(diào)用與返回的一般語義
10.2 實現(xiàn)“簡單”子程序
10.3 實現(xiàn)具有棧動態(tài)局部變量的子程序
10.4 嵌套子程序
10.5 塊
10.6 實現(xiàn)動態(tài)作用域
小結*復習題*練習題
第11章 抽象數(shù)據(jù)類型和封裝結構
11.1 抽象概念
11.2 數(shù)據(jù)抽象介紹
ll.3 抽象數(shù)據(jù)類型的設計問題
11.4 語言示例
11.5 有參數(shù)的抽象數(shù)據(jù)類型
11.6 封裝結構
11.7 命名封裝
小結*復習題*練習題*程序設計練習題
第12章 支持面向?qū)ο蟮某绦蛟O計
12.1 概述
12.2 面向?qū)ο蟪绦蛟O計
12.3 面向?qū)ο笳Z言的設計問題
12.4 Smalltalk對面向?qū)ο蟪绦蛟O計的支持
12.5 C++對面向?qū)ο蟪绦蛟O計的支持
12.6 Java對面向?qū)ο蟪绦蛟O計的支持
12.7 C#對面向?qū)ο蟪绦蛟O計的支持
12.8 Ada 95對面向?qū)ο蟪绦蛟O計的支持
12.9 Ruby對面向?qū)ο蟪绦蛟O計的支持
12.10 JavaScript的對象模型
12.11 面向?qū)ο蠼Y構的實現(xiàn)
小結*復習題*練習題*程序設計練習題
第13章 并發(fā)
13.1 概述
13.2 子程序?qū)哟尾l(fā)的介紹
13.3 信號量
13.4 管程
13.5 消息傳遞
13.6 Ada對并發(fā)的支持
13.7 Java線程
13.8 C#線程
13.9 語句層次的并發(fā)
小結*文獻注釋*復習題*練習題。程序
設計練習題
第14章 異常處理和事件處理
14.1 異常處理慨述
14.2 Ada中的異常處理
14.3 C++中的異常處理
14.4 Java中的異常處理
14.5 事件處理概述
14.6 Java的事件處理
小結*文獻注釋*復習題*練習題*程序
設計練習題
第15章 函數(shù)式程序設計語言
15.1 概述
15.2 數(shù)學函數(shù)
15.3 函數(shù)式程序設計語言的基礎
15.4 第一種函數(shù)式程序設計語言：LISP
15.5 Scheme概述
15.6 COMMONLISP
15.7 ML
15.8 Haskell
15.9 函數(shù)式語言的應用
15.10 函數(shù)式語言和命令式語言的比較
小結*文獻注釋*復習題*練習題*程序
設計練習題
第16章 邏輯程序設計語言
16.1 概述
16.2 謂詞演算的簡短介紹
16.3 謂詞演算與定理證明
16.4 邏輯程序設計概述
16.5 Prolog的起源
16.6 Prolog的基本元素
16.7 Prolog的缺陷
16.8 邏輯程序設計的應用
小結*文獻注釋*復習題+練習題*程序
設計練習題
參考文獻
索引