（无货）计算机程序的构造和解释原书第2版 软件与程序设计 计算机科学丛书编程系统测试修改非确定性程序研究生本科专科教程书.

计算机程序的构造和解释
	定价	(咨询特价)
	出版社	机械工业出版社
	版次	(咨询特价)
	出版时间	(咨询特价)年02月
	开本	16开
	作者	裘宗燕
	装帧	平装
	页数	0
	字数
	ISBN编码	04

《计算机科学丛书：计算机程序的构造和解释（原书第2版）》1984年出版，成型于美国麻省理工学院（MIT）

多年使用的一本教材，1996年修订为第2版。在过去的二十多年里，《计算机科学丛书：计算机程序的构造和解释

（原书第2版）》对于计算机科学的教育计划产生了深刻的影响。第2版中大部分重要程序设计系统都重新修改并做过测试，

包括各种解释器和编译器。作者根据其后十余年的教学实践，还对其他许多细节做了相应的修改。

这一版本中强调了几个新问题，其中重要的是有关的不同的途径中，计算模型里对于时间的处理所起的中心作用：

带有状态的对象、并发程序设计、函数式程序设计、惰性求值和非确定性程序设计。这里为并发和非确定性新增加了几节，

我们也设法将这一论题集成到整本书里，贯穿始终。每一位严肃的计算机科学家都应该阅读这本书。由于本书清晰、

简洁和富于才智，我们强烈推荐本书，它适合所有希望深刻理解计算机科学的人们。

出版者的话

专家指导委员会

序

第2版前言

dy 版前言

致谢

dy 章 构造过程抽象

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 编译

参考文献

练习表

索引

Harold Abelson，MIT1992年度MacVicarFacultyFellow。Gerald JaySussman是Matsushita电子工程教授。

他们都在MIT电子工程和计算机科学系工作．都得到过重要的计算机科学教育奖：

如Abelson得到了IEEE计算机学会的Booth奖。Sussman得到了ACM的Karlstrom奖。

Julie Sussman，是作家和编辑，同时使用自然语言和计算机语言写作。