《计算机程序的构造和解释 (原书第 2 版)》PDF

内容简介

《计算机程序的构造和解释》成型于美国麻省理工学院（MIT）多年使用的一本教材，1984 年出版，1996 年修订为第二版。在过去的二十多年里，该书对于计算机科学的教育计划产生了深刻的影响。

在第二版中，大部分重要程序设计系统都重新修改并做过测试，包括各种解释器和编译器。作者根据其后十余年的教学实践，还对其他许多细节做了相应的修改。

作者简介

Harold Abelson 是 MIT1992 年度 MacVicar Faculty Fellow。Gerald Jay Sussman 是 Matsushita 电子工程教授。

他们都在 MIT 电子工程和计算机科学系工作，都得到过最重要的计算机科学教育奖：Abelson 得到了 IEEE 计算机学会的 Booth 奖，Sussman 得到了 ACM 的 Karlstrom 奖。Julie Sussman 是作家和编辑，同时使用自然语言和计算机语言写作。

目录

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

.....