計(jì)算機(jī)程序的構(gòu)造和解釋（原書(shū)第2版 典藏版）

出版者的話
序
第2版前言
第1版前言
致謝
第1章 構(gòu)造過(guò)程抽象1
1.1 程序設(shè)計(jì)的基本元素3
1.1.1 表達(dá)式3
1.1.2 命名和環(huán)境5
1.1.3 組合式的求值6
1.1.4 復(fù)合過(guò)程7
1.1.5 過(guò)程應(yīng)用的代換模型9
1.1.6 條件表達(dá)式和謂詞11
1.1.7 實(shí)例：采用牛頓法求平方根14
1.1.8 過(guò)程作為黑箱抽象17
1.2 過(guò)程及其產(chǎn)生的計(jì)算20
1.2.1 線性的遞歸和迭代21
1.2.2 樹(shù)形遞歸24
1.2.3 增長(zhǎng)的階28
1.2.4 求冪29
1.2.5 最大公約數(shù)32
1.2.6 實(shí)例：素?cái)?shù)檢測(cè)33
1.3 用高階函數(shù)做抽象37
1.3.1 過(guò)程作為參數(shù)37
1.3.2 用lambda構(gòu)造過(guò)程41
1.3.3 過(guò)程作為一般性的方法44
1.3.4 過(guò)程作為返回值48
第2章 構(gòu)造數(shù)據(jù)抽象53
2.1 數(shù)據(jù)抽象導(dǎo)引55
2.1.1 實(shí)例：有理數(shù)的算術(shù)運(yùn)算55
2.1.2 抽象屏障58
2.1.3 數(shù)據(jù)意味著什么60
2.1.4 擴(kuò)展練習(xí)：區(qū)間算術(shù)62
2.2 層次性數(shù)據(jù)和閉包性質(zhì)65
2.2.1 序列的表示66
2.2.2 層次性結(jié)構(gòu)72
2.2.3 序列作為一種約定的界面76
2.2.4 實(shí)例：一個(gè)圖形語(yǔ)言86
2.3 符號(hào)數(shù)據(jù)96
2.3.1 引號(hào)96
2.3.2 實(shí)例：符號(hào)求導(dǎo)99
2.3.3 實(shí)例：集合的表示103
2.3.4 實(shí)例：Huffman編碼樹(shù)109
2.4 抽象數(shù)據(jù)的多重表示115
2.4.1 復(fù)數(shù)的表示116
2.4.2 帶標(biāo)志數(shù)據(jù)119
2.4.3 數(shù)據(jù)導(dǎo)向的程序設(shè)計(jì)和可加性122
2.5 帶有通用型操作的系統(tǒng)128
2.5.1 通用型算術(shù)運(yùn)算129
2.5.2 不同類型數(shù)據(jù)的組合132
2.5.3 實(shí)例：符號(hào)代數(shù)138
第3章 模塊化、對(duì)象和狀態(tài)149
3.1 賦值和局部狀態(tài)149
3.1.1 局部狀態(tài)變量150
3.1.2 引進(jìn)賦值帶來(lái)的利益154
3.1.3 引進(jìn)賦值的代價(jià)157
3.2 求值的環(huán)境模型162
3.2.1 求值規(guī)則163
3.2.2 簡(jiǎn)單過(guò)程的應(yīng)用165
3.2.3 將框架看作局部狀態(tài)的展臺(tái)167
3.2.4 內(nèi)部定義171
3.3 用變動(dòng)數(shù)據(jù)做模擬173
3.3.1 變動(dòng)的表結(jié)構(gòu)173
3.3.2 隊(duì)列的表示180
3.3.3 表格的表示183
3.3.4 數(shù)字電路的模擬器188
3.3.5 約束的傳播198
3.4 并發(fā)：時(shí)間是一個(gè)本質(zhì)問(wèn)題206
3.4.1 并發(fā)系統(tǒng)中時(shí)間的性質(zhì)207
3.4.2 控制并發(fā)的機(jī)制210
3.5 流220
3.5.1 流作為延時(shí)的表220
3.5.2 無(wú)窮流226
3.5.3 流計(jì)算模式的使用232
3.5.4 流和延時(shí)求值241
3.5.5 函數(shù)式程序的模塊化和對(duì)象的
模塊化245
第4章 元語(yǔ)言抽象249
4.1 元循環(huán)求值器251
4.1.1 求值器的內(nèi)核252
4.1.2 表達(dá)式的表示255
4.1.3 求值器數(shù)據(jù)結(jié)構(gòu)260
4.1.4 作為程序運(yùn)行求值器264
4.1.5 將數(shù)據(jù)作為程序266
4.1.6 內(nèi)部定義269
4.1.7 將語(yǔ)法分析與執(zhí)行分離273
4.2 Scheme的變形—惰性求值276
4.2.1 正則序和應(yīng)用序277
4.2.2 一個(gè)采用惰性求值的解釋器278
4.2.3 將流作為惰性的表284
4.3 Scheme的變形—非確定性計(jì)算286
4.3.1 amb和搜索287
4.3.2 非確定性程序的實(shí)例290
4.3.3 實(shí)現(xiàn)amb求值器296
4.4 邏輯程序設(shè)計(jì)304
4.4.1 演繹信息檢索306
4.4.2 查詢系統(tǒng)如何工作315
4.4.3 邏輯程序設(shè)計(jì)是數(shù)理邏輯嗎321
4.4.4 查詢系統(tǒng)的實(shí)現(xiàn)324
第5章 寄存器機(jī)器里的計(jì)算343
5.1 寄存器機(jī)器的設(shè)計(jì)344
5.1.1 一種描述寄存器機(jī)器的語(yǔ)言346
5.1.2 機(jī)器設(shè)計(jì)的抽象348
5.1.3 子程序351
5.1.4 采用堆棧實(shí)現(xiàn)遞歸354
5.1.5 指令總結(jié)358
5.2 一個(gè)寄存器機(jī)器模擬器359
5.2.1 機(jī)器模型360
5.2.2 匯編程序364
5.2.3 為指令生成執(zhí)行過(guò)程366
5.2.4 監(jiān)視機(jī)器執(zhí)行372
5.3 存儲(chǔ)分配和廢料收集374
5.3.1 將存儲(chǔ)看作向量374
5.3.2 維持一種無(wú)窮存儲(chǔ)的假象378
5.4 顯式控制的求值器383
5.4.1 顯式控制求值器的內(nèi)核384
5.4.2 序列的求值和尾遞歸388
5.4.3 條件、賦值和定義391
5.4.4 求值器的運(yùn)行393
5.5 編譯397
5.5.1 編譯器的結(jié)構(gòu)399
5.5.2 表達(dá)式的編譯402
5.5.3 組合式的編譯407
5.5.4 指令序列的組合412
5.5.5 編譯代碼的實(shí)例415
5.5.6 詞法地址422
5.5.7 編譯代碼與求值器的互連425
參考文獻(xiàn)431
練習(xí)表437
索引439