《计算机科学丛书：计算机程序的构造和解释（原书第2版）》1984年出版，成型于美国麻省理工学院（MIT）多年使用的一本教材，1996年修订为第2版。在过去的二十多年里，《计算机科学丛书：计算机程序的构造和解释（原书第2版）》对于计算机科学的教育计划产生了深刻的影响。第2版中大部分重要程序设计系统都重新修改并做过测试，包括各种解释器和编译器。作者根据其后十余年的教学实践，还对其他许多细节做了相应的修改。 　　这一版本中强调了几个新问题，其中**重要的是有关的不同的途径中，计算模型里对于时间的处理所起的中心作用：带有状态的对象、并发程序设计、函数式程序设计、惰性求值和非确定性程序设计。这里为并发和