计算机科学丛书 计算机程序的构造和解释（原书第2版）pdf

计算机科学丛书 计算机程序的构造和解释（原书第2版） 内容简介

《计算机科学丛书：计算机程序的构造和解释（原书第2版）》1984年出版，成型于美国麻省理工学院（MIT）多年使用的一本教材，1996年修订为第2版。在过去的二十多年里，《计算机科学丛书：计算机程序的构造和解释（原书第2版）》对于计算机科学的教育计划产生了深刻的影响。第2版中大部分重要程序设计系统都重新修改并做过测试，包括各种解释器和编译器。作者根据其后十余年的教学实践，还对其他许多细节做了相应的修改。

这一版本中强调了几个新问题，其中重要的是有关的不同的途径中，计算模型里对于时间的处理所起的中心作用：带有状态的对象、并发程序设计、函数式程序设计、惰性求值和非确定性程序设计。这里为并发和非确定性新增加了几节，我们也设法将这一论题集成到整本书里，贯穿始终。每一位严肃的计算机科学家都应该阅读这本书。由于本书清晰、简洁和富于才智，我们强烈推荐本书，它适合所有希望深刻理解计算机科学的人们。

计算机科学丛书 计算机程序的构造和解释（原书第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 编译

参考文献

练习表

索引

计算机科学丛书 计算机程序的构造和解释（原书第2版） 精彩文摘

虽然在开始时，McCarthy是想Lisp作为一种数学记述形式，但它确实是一种实用的程序设计语言。一个Lisp解释器就像是一台机器，它能实现用Lisp语言描述的计算过程。第一个Lisp解释器是McCarthy在MIT电子研究实验室的人工智能组和MIT计算中心里他的同事和学生的帮助下实现的’。Lisp的名字来自表处理(LISt Processing)，其设计是为了提供符号计算的能力，以便能用于解决一些程序设计问题，例如代数表达式的符号微分和积分。它包含了适用于这类目的的一些新数据对象，称为原子和表，这是它与那一时代的所有其他语言之间最明显的不同之处。

Lisp并不是一个刻意的设计努力的结果，它以一种试验性的非正式的方式不断演化，以满足用户的需要和实际实现的各种考虑。Lisp的这种非官方演化持续了许多年，Lisp用户社团具有抵制制定这一语言的“官方。定义企图的传统。这种演化方式以及语言初始概念的灵活和优美，使得Lisp成为今天还在广泛使用的历史第二悠久的语言(只有Fortran比它更老)。这一语言还在不断调整，以便去包容有关程序设计的最新思想。正因为这样，今天的LIsp已经形成了一族方言，它们共享着初始语言的大部分特征，也可能有这样或那样的重要差异。用于本书Lisp方言名为Scheme2。