程序設(shè)計(jì)語言原理

第0章 緒論
0.1 語言的一般性質(zhì)
0.2 程序設(shè)計(jì)語言的一般性質(zhì)
0.3 為什么要研究程序設(shè)計(jì)語言
0.4 程序設(shè)計(jì)語言定義與處理器
0.5 21世紀(jì)程序設(shè)計(jì)語言的發(fā)展及未來發(fā)展
趨勢
0.6 本書的目的與組織
第1章 歷史的回顧與程序設(shè)計(jì)語言分類
1.1 程序設(shè)計(jì)語言簡史
1.1.1 20世紀(jì)50年代高級語言出現(xiàn)
1.1.2 20世紀(jì)60年代奠基性研究
1.1.3 20世紀(jì)70年代完善的軟件工程工具
1.1.4 20世紀(jì)80年代的面向?qū)ο蟀l(fā)展
1.1.5 20世紀(jì)90年代網(wǎng)絡(luò)計(jì)算語言
1.2 程序設(shè)計(jì)語言的分類
1.2.1 按對機(jī)器依賴程度
1.2.2 按應(yīng)用領(lǐng)域
1.2.3 按實(shí)現(xiàn)計(jì)算方式
1.2.4 按使用方式
1.2.5 按程序設(shè)計(jì)范型
1.2.6 按斷代劃分
1.3 本章小結(jié)
習(xí)題
第2章 程序設(shè)計(jì)語言的設(shè)計(jì)概述
2.1 表示與抽象
2.1.1 上層抽象可用多種下層抽象實(shí)現(xiàn)程序設(shè)計(jì)的四個(gè)世界
2.1.2 顯式表示和隱式表示
2.1.3 聚合表示和分散表示
2.2 程序設(shè)計(jì)語言的設(shè)計(jì)目標(biāo)
2.3 設(shè)計(jì)準(zhǔn)則
2.4 程序設(shè)計(jì)語言的規(guī)格說明
2.4.1 語法的規(guī)格說明
2.4.2 語義規(guī)格說明
2.4.3 上下文規(guī)格說明
2.5 J、結(jié)
習(xí)題
第3章 值與類型
3.1 值
3.1.1 值與類型
3.1.2 字面量、變量與常量
3.1.3 程序中的求值方式
3.1.4 值應(yīng)是頭等程序?qū)ο?br />3.2 類型
3.2.1 基本類型
3.2.2 復(fù)合類型
3.2.3 遞歸類型
3.2.4 類型系統(tǒng)初步
3.3 表達(dá)式
3.3.1 表達(dá)式表示法
3.3.2 表達(dá)式種類
3.3.3 優(yōu)先級和結(jié)合性
3.3.4 類型兼容性
3.4 小結(jié)
習(xí)題
第4章 存儲
4.1 程序變量的時(shí)、空特性
4.1.1 引用和指針
4.1.2 遞引用
4.1.3 變量的時(shí)態(tài)
4.1.4 可存儲值
4.2 組織存儲對象的存儲模型
4.2.1 存儲對象的生命期
4.2.2 靜態(tài)存儲對象
4.2.3 動(dòng)態(tài)存儲對象
4.2.4 動(dòng)態(tài)堆棧存儲
4.2.5 動(dòng)態(tài)堆存儲
4.3 懸掛引用
4.4 ，變量更新
4.4.1 變量初始化
4.4.2 動(dòng)態(tài)更新
4.5 有副作用的表達(dá)式
4.5.1 塊表達(dá)式
4.5.2 命令表達(dá)式
4.6 小結(jié)
習(xí)題
第5章 束定
5.1 名字與束定
5.2 各種束定機(jī)制
5.2.1 靜態(tài)束定
5.2.2 動(dòng)態(tài)束定
5.2.3 塊結(jié)構(gòu)柬定
5.2.4 無類型語言的束定
5.3 聲明
5.3.1 聲明的種類
5.3.2 聲明的作用域
5.3.3 塊聲明
5.4 束定的作用域與釋義
5.4 1束定與環(huán)境
5.4.2 詞法作用域與動(dòng)態(tài)作用域
5.4.3 詞法作用域和動(dòng)態(tài)作用域的求值
差異
5.4.4 作用域與生命期匹配的問題
5.5 束定機(jī)制與語言翻譯器
5.6 小結(jié)
習(xí)題
第6章 函數(shù)和過程
6.1 函數(shù)和過程抽象
6.1.1 函數(shù)定義與引用
6.1.2 過程定義與調(diào)用
6.1.3 無參過程
6.2 參數(shù)機(jī)制
6.2.1 傳值調(diào)用
6.2.2 傳名調(diào)用
6.2.3 引用調(diào)用
6.2.4 參數(shù)模式與返回調(diào)用
6.2.5 值——返回調(diào)用
6.2.6 指針參數(shù)
6.3 變元求值策略
6.4 高階函數(shù)
6.4.1 函數(shù)作為變元
6.4.2 函數(shù)作為返回值
6.5 小結(jié)
習(xí)題
第7章 程序控制
7.1 一般概述
7.2 順序控制
7.3 條件選擇控制
7.3.1 結(jié)構(gòu)式條件控制
’7.3.2 case和switch
7.3.3 以條件表達(dá)式實(shí)現(xiàn)選擇控制
7.4 迭代控制
7.4.1 顯式迭代控制
7.4.2 隱式迭代控制
7.5 異常處理
7.5.1 異常定義與異常處理段
7.5.2 異常引發(fā)與異常傳播
7.6 小結(jié)
習(xí)題
第8章 程序的抽象與封裝
8.1 模塊和包
8.1.1 模塊的一般形式
8.1.2 模塊程序的結(jié)構(gòu)
8.2 抽象數(shù)據(jù)類型
8.2.1 數(shù)據(jù)抽象與抽象數(shù)據(jù)類型
8.2.2 利用抽象數(shù)據(jù)類型構(gòu)造新類型
……
第9章 類型系統(tǒng)
第10章 面向?qū)ο蟪绦蛟O(shè)計(jì)程言
第11章 函數(shù)式程序設(shè)計(jì)語言
第12章 邏輯式程序設(shè)計(jì)語言
第13章 程序的并發(fā)性和進(jìn)程交互原理
第14章 進(jìn)程交互機(jī)制和并發(fā)程設(shè)計(jì)
第15章 描述性程序設(shè)計(jì)語言
第16章 指稱語義的原理與應(yīng)用
第17章 代數(shù)語義學(xué)
參考文獻(xiàn)