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

第0章 緒論
0.1 語(yǔ)言的一般性質(zhì)
0.2 程序設(shè)計(jì)語(yǔ)言的一般性質(zhì)
0.3 為什么要研究程序設(shè)計(jì)語(yǔ)言
0.4 程序設(shè)計(jì)語(yǔ)言定義與處理器
0.5 21世紀(jì)程序設(shè)計(jì)語(yǔ)言的發(fā)展及未來(lái)發(fā)展
趨勢(shì)
0.6 本書(shū)的目的與組織
第1章 歷史的回顧與程序設(shè)計(jì)語(yǔ)言分類(lèi)
1.1 程序設(shè)計(jì)語(yǔ)言簡(jiǎn)史
1.1.1 20世紀(jì)50年代高級(jí)語(yǔ)言出現(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ì)算語(yǔ)言
1.2 程序設(shè)計(jì)語(yǔ)言的分類(lèi)
1.2.1 按對(duì)機(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ì)語(yǔ)言的設(shè)計(jì)概述
2.1 表示與抽象
2.1.1 上層抽象可用多種下層抽象實(shí)現(xiàn)程序設(shè)計(jì)的四個(gè)世界
2.1.2 顯式表示和隱式表示
2.1.3 聚合表示和分散表示
2.2 程序設(shè)計(jì)語(yǔ)言的設(shè)計(jì)目標(biāo)
2.3 設(shè)計(jì)準(zhǔn)則
2.4 程序設(shè)計(jì)語(yǔ)言的規(guī)格說(shuō)明
2.4.1 語(yǔ)法的規(guī)格說(shuō)明
2.4.2 語(yǔ)義規(guī)格說(shuō)明
2.4.3 上下文規(guī)格說(shuō)明
2.5 J、結(jié)
習(xí)題
第3章 值與類(lèi)型
3.1 值
3.1.1 值與類(lèi)型
3.1.2 字面量、變量與常量
3.1.3 程序中的求值方式
3.1.4 值應(yīng)是頭等程序?qū)ο?br />3.2 類(lèi)型
3.2.1 基本類(lèi)型
3.2.2 復(fù)合類(lèi)型
3.2.3 遞歸類(lèi)型
3.2.4 類(lèi)型系統(tǒng)初步
3.3 表達(dá)式
3.3.1 表達(dá)式表示法
3.3.2 表達(dá)式種類(lèi)
3.3.3 優(yōu)先級(jí)和結(jié)合性
3.3.4 類(lèi)型兼容性
3.4 小結(jié)
習(xí)題
第4章 存儲(chǔ)
4.1 程序變量的時(shí)、空特性
4.1.1 引用和指針
4.1.2 遞引用
4.1.3 變量的時(shí)態(tài)
4.1.4 可存儲(chǔ)值
4.2 組織存儲(chǔ)對(duì)象的存儲(chǔ)模型
4.2.1 存儲(chǔ)對(duì)象的生命期
4.2.2 靜態(tài)存儲(chǔ)對(duì)象
4.2.3 動(dòng)態(tài)存儲(chǔ)對(duì)象
4.2.4 動(dòng)態(tài)堆棧存儲(chǔ)
4.2.5 動(dòng)態(tài)堆存儲(chǔ)
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 無(wú)類(lèi)型語(yǔ)言的束定
5.3 聲明
5.3.1 聲明的種類(lèi)
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 作用域與生命期匹配的問(wèn)題
5.5 束定機(jī)制與語(yǔ)言翻譯器
5.6 小結(jié)
習(xí)題
第6章 函數(shù)和過(guò)程
6.1 函數(shù)和過(guò)程抽象
6.1.1 函數(shù)定義與引用
6.1.2 過(guò)程定義與調(diào)用
6.1.3 無(wú)參過(guò)程
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 變?cè)笾挡呗?br />6.4 高階函數(shù)
6.4.1 函數(shù)作為變?cè)?br />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ù)類(lèi)型
8.2.1 數(shù)據(jù)抽象與抽象數(shù)據(jù)類(lèi)型
8.2.2 利用抽象數(shù)據(jù)類(lèi)型構(gòu)造新類(lèi)型
……
第9章 類(lèi)型系統(tǒng)
第10章 面向?qū)ο蟪绦蛟O(shè)計(jì)程言
第11章 函數(shù)式程序設(shè)計(jì)語(yǔ)言
第12章 邏輯式程序設(shè)計(jì)語(yǔ)言
第13章 程序的并發(fā)性和進(jìn)程交互原理
第14章 進(jìn)程交互機(jī)制和并發(fā)程設(shè)計(jì)
第15章 描述性程序設(shè)計(jì)語(yǔ)言
第16章 指稱(chēng)語(yǔ)義的原理與應(yīng)用
第17章 代數(shù)語(yǔ)義學(xué)
參考文獻(xiàn)