1984年出版，成型于美國麻省理工學院(MIT)多年使用的一本教材，1996年修訂為第2版。在過去的二十多年里，本書對于計算機科學的教育計劃產生了深刻的影響。
本版中大部分重要程序設計系統都重新修改并做過測試，包括各種解釋器和編譯器。
目錄
出版者的話
專家指導委員會
序
第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 編譯
參考文獻
練習表
索引
標簽：
1984
上傳時間：
2013-11-29
上傳用戶：咔樂塢
