計算機程序的構造和解釋(典藏‧原書第2版)（簡體書）

本書從1980年開始就作為美國麻省理工學院計算機科學專業的入門課程教材之一，從理論上講解計算機程序的創建、執行和研究。主要內容包括：構造過程抽象，構造數據抽象，模塊化、對象和狀態，元語言抽象，寄存器機器裡的計算等。

哈羅德·阿貝爾森(Harold Abelson)是MIT 1992年度MacVicar Faculty Fellow。在MIT電子工程和計算機科學系工作，得到過重要的計算機科學教育獎――IEEE計算機學會的Booth獎。傑拉爾德·傑伊·薩斯曼(Gerald Jay Sussman)是Matsushita電子工程教授。在MIT電子工程和計算機科學系工作，得到過重要的計算機科學教育獎――ACM的Karlstrom獎。朱莉·薩斯曼(Julie Sussman)是作家和編輯，同時使用自然語言和計算機語言寫作。

出版者的話序第2版前言第1版前言致謝第1章 構造過程抽象11.1 程序設計的基本元素31.1.1 表達式31.1.2 命名和環境51.1.3 組合式的求值61.1.4 複合過程71.1.5 過程應用的代換模型91.1.6 條件表達式和謂詞111.1.7 實例：採用牛頓法求平方根141.1.8 過程作為黑箱抽象171.2 過程及其產生的計算201.2.1 線性的遞歸和迭代211.2.2 樹形遞歸241.2.3 增長的階281.2.4 求冪291.2.5 最大公約數321.2.6 實例：素數檢測331.3 用高階函數做抽象371.3.1 過程作為參數371.3.2 用lambda構造過程411.3.3 過程作為一般性的方法441.3.4 過程作為返回值48第2章 構造數據抽象532.1 數據抽象導引552.1.1 實例：有理數的算術運算552.1.2 抽象屏障582.1.3 數據意味著什麼602.1.4 擴展練習：區間算術622.2 層次性數據和閉包性質652.2.1 序列的表示662.2.2 層次性結構722.2.3 序列作為一種約定的界面762.2.4 實例：一個圖形語言862.3 符號數據962.3.1 引號962.3.2 實例：符號求導992.3.3 實例：集合的表示1032.3.4 實例：Huffman編碼樹1092.4 抽象數據的多重表示1152.4.1 複數的表示1162.4.2 帶標誌數據1192.4.3 數據導向的程序設計和可加性1222.5 帶有通用型操作的系統1282.5.1 通用型算術運算1292.5.2 不同類型數據的組合1322.5.3 實例：符號代數138第3章 模塊化、對象和狀態1493.1 賦值和局部狀態1493.1.1 局部狀態變量1503.1.2 引進賦值帶來的利益1543.1.3 引進賦值的代價1573.2 求值的環境模型1623.2.1 求值規則1633.2.2 簡單過程的應用1653.2.3 將框架看作局部狀態的展臺1673.2.4 內部定義1713.3 用變動數據做模擬1733.3.1 變動的表結構1733.3.2 隊列的表示1803.3.3 表格的表示1833.3.4 數字電路的模擬器1883.3.5 約束的傳播1983.4 併發：時間是一個本質問題2063.4.1 併發系統中時間的性質2073.4.2 控制併發的機制2103.5 流2203.5.1 流作為延時的表2203.5.2 無窮流2263.5.3 流計算模式的使用2323.5.4 流和延時求值2413.5.5 函數式程序的模塊化和對象的模塊化245第4章 元語言抽象2494.1 元循環求值器2514.1.1 求值器的內核2524.1.2 表達式的表示2554.1.3 求值器數據結構2604.1.4 作為程序運行求值器2644.1.5 將數據作為程序2664.1.6 內部定義2694.1.7 將語法分析與執行分離2734.2 Scheme的變形―惰性求值2764.2.1 正則序和應用序2774.2.2 一個採用惰性求值的解釋器2784.2.3 將流作為惰性的表2844.3 Scheme的變形―非確定性計算2864.3.1 amb和搜索2874.3.2 非確定性程序的實例2904.3.3 實現amb求值器2964.4 邏輯程序設計3044.4.1 演繹信息檢索3064.4.2 查詢系統如何工作3154.4.3 邏輯程序設計是數理邏輯嗎3214.4.4 查詢系統的實現324第5章 寄存器機器裡的計算3435.1 寄存器機器的設計3445.1.1 一種描述寄存器機器的語言3465.1.2 機器設計的抽象3485.1.3 子程序3515.1.4 採用堆棧實現遞歸3545.1.5 指令總結3585.2 一個寄存器機器模擬器3595.2.1 機器模型3605.2.2 匯編程序3645.2.3 為指令生成執行過程3665.2.4 監視機器執行3725.3 存儲分配和廢料收集3745.3.1 將存儲看作向量3745.3.2 維持一種無窮存儲的假像3785.4 顯式控制的求值器3835.4.1 顯式控制求值器的內核3845.4.2 序列的求值和尾遞歸3885.4.3 條件、賦值和定義3915.4.4 求值器的運行3935.5 編譯3975.5.1 編譯器的結構3995.5.2 表達式的編譯4025.5.3 組合式的編譯4075.5.4 指令序列的組合4125.5.5 編譯代碼的實例4155.5.6 詞法地址4225.5.7 編譯代碼與求值器的互連425參考文獻431練習表437索引439