程序設(shè)計(jì)語言原理（原書第8版）

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