●出版者的話序第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

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

[美]哈羅德·埃布爾森 Harold Abelson 傑拉爾德傑伊·薩斯曼 著 裘宗燕 譯 譯

第2版前言軟件很可能確實與其他任何東西都不同，它的本意就是被拋棄：這一觀點就是總將它看作一個肥皂泡嗎？—Alan J. Perlis自1980年以來，本書的材料就一直在MIT作為計算機科學入門課程的基礎。在本書第1版出版之前，我們已經用這一材料教了4年課，而到第2版出版，時間又過去了12年。我們非常高興地看到這一工作得到廣泛認可，並被結合到其他一些教材中。我們已經看到我們的學生掌握了本書中的思想和程序，並將它們構築到新的計算機繫統或者語言的核心裡—我們的學生已經變成了我們的創造者。我們非常幸運能有如此有能力的學生和如此有建樹的創造者。在準備這一新版本的過程中，我們采納了成百條澄清性建議，它們來自我們自己的教學經驗，也來自MIT和其他地方的同行們的評述。我們重新設計了本書裡大部分主要程序設計繫統，包括通用型算術繫統、解釋器、寄存器機器模擬器和編譯器，也重寫了所有的程序實例，以保證任何符合IE等