出版者的話
專家指導委員會
序
第2版前言
第1版前言
致謝
第1章 構造過程抽象
 1.1 程序設計的基本元素
 1.2 過程與它們所產生的計算
 1.3 用高階函數做抽象
第2章 構造數據現象
 2.1 數據抽象導引
 2.2 層次性數據和閉包性質
 2.3 符號數據
 2.4 抽象數據的多重表示
 2.5 帶有通用型操作的系統
第3章 模塊化、對象和狀態
 3.1 賦值和局部狀態
 3.2 求值的環境模型
 3.3 用變動數據做模擬
 3.4 并發：時間是一個本質問題
 3.5 流
第4章 元語言抽象
 4.1 元循環求值器
 4.2 Scheme的變形——惰性求值
 4.3 Scheme的變形——非確定性計算
 4.4 邏輯程序設計
第5章 寄存器機器里的計算
 5.1 寄存器機器的設計
 5.2 一個寄存器機器模擬器
 5.3 存儲分配和廢料收集
 5.4 顯式控制的求值器
 5.5 編譯
參考文獻
練習表
索引