程序設計語言原理

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