基本介紹
- 書名：電腦程式的構造和解釋算法導論
- 出 版 社：機械工業出版社
- 出版時間：2004-2-1
- 印刷時間：2004-2-1
圖書信息,內容簡介,編輯推薦,作者簡介,目錄,
圖書信息
字 數：
版 次：1版1次頁 數：473
紙 張：膠版紙
ISBN：9787111135104包 裝：平裝
內容簡介
本書1984年出版，成型於美國麻省理工學院(MIT)多年使用的一本教材，1996年修訂為第2版。在過去的二十多年裡，本書對於計算機科學的教育計畫產生了深刻的影響。 第2版中大部分重要程式設計系統都重新修改並做過測試，包括各種解釋器和編譯器。作者根據其後十餘年的教學實踐，還對其他許多細節做了相應的修改。 本書自出版以來，世界各地已有100多所院校採用本書做教材，其中包括美國史丹福大學、美國普林斯頓大學、英國牛津大學、日本東京大學等。
編輯推薦
這一版本中強調了幾個新問題，其中最重要的是有關的不同的途徑中，計算模型里對於時間的處理所起的中心作用：帶有狀態的對象、並發程式設計、函式式程式設計、惰性求值和非確定性程式設計。這裡為並發和非確定性新增加了幾節，我們也設法將這一論題集成到整本書里，貫穿始終。每一位嚴肅的計算機科學家都應該閱讀這本書。由於本書清晰、簡潔和富於才智，我們強烈推薦本書，它適合所有希望深刻理解計算機科學的人們。
作者簡介
Harold Abelson是MIT1992年度MacVicarFacultyFellow。Gerald JaySussman是Matsushita電子工程教授。他們都在MIT電子工程和計算機科學系工作．都得到過最重要的計算機科學教育獎：如Abelson得到了IEEE計算機學會的Booth獎。Sussman得到了ACM的Karlstrom獎。
目錄
出版者的話
專家指導委員會
序
第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 編譯
參考文獻
練習表
索引
