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

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