计算机程序的构造和解释 第二版 PDF 文档

Question

Harold Abelson 是 MIT1992 年度 MacVicarFacultyFellow。Gerald JaySussman 是 Matsushita 电子工程教授。他们都在 MIT 电子工程和计算机科学系工作．都得到过最重要的计算机科学教育奖：如 Abelson 得到了 IEEE 计算机学会的 Booth 奖。Sussman 得到了 ACM 的 Karlstrom 奖。Julie Sussman 是作家和编辑，同时使用自然语言和计算机语言写作。 每一位严肃的计算机科学家都应该阅读这本书。由于本书清晰、简洁和富于才智，我们强烈推荐本书，它适合所有希望深刻理解计算机科学的人们。

第 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 编译
参考文献
练习表

下载地址：https://www.wenjiangs.com/wp-content/uploads/2024/03/YwuOXihhrsQ6UhSn.zip