計算機程序的構造和解釋 原書(shū)第2版 典藏版簡(jiǎn)介，目錄書(shū)摘

內容簡(jiǎn)介:本書(shū)曾是美國麻省理工學(xué)院計算機科學(xué)專(zhuān)業(yè)的入門(mén)課程教材之一， 從理論上講解計算機程序的創(chuàng )建、 執行和研究。 主要內容包括：構造過(guò)程抽象，構造數據抽象，模塊化、 對象和狀態(tài)，元語(yǔ)言抽象，寄存器機器里的計算等。

作者簡(jiǎn)介:哈羅德·阿貝爾森（Harold Abelson）是MIT 1992年度MacVicar Faculty Fellow。在MIT電子工程和計算機科學(xué)系工作，得到過(guò)重要的計算機科學(xué)教育獎——IEEE計算機學(xué)會(huì )的Booth獎。

杰拉爾德·杰伊·薩斯曼（Gerald Jay Sussman）是Matsushita電子工程教授。在MIT電子工程和計算機科學(xué)系工作，得到過(guò)重要的計算機科學(xué)教育獎——ACM的Karlstrom獎。

朱莉·薩斯曼（Julie Sussman）是作家和編輯，同時(shí)使用自然語(yǔ)言和計算機語(yǔ)言寫(xiě)作。

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