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

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

计算机科学丛书 计算机程序的构造和解释(原书第2版) 目录

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

《计算机科学丛书:计算机程序的构造和解释(原书第2版)》1984年出版,成型于美国麻省理工学院(MIT)多年使用的一本教材,1996年修订为第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 编译参考文献练习表索引虽然在开始时,McCarthy是想Lisp作为一种数学记述形式,但它确实是一种实用的程序设计语言。一个Lisp解释器就像是一台机器,它能实现用Lisp语言描述的计算过程。第一个Lisp解释器是McCarthy在MIT电子研究实验室的人工智能组和MIT计算中心里他的同事和学生的帮助下实现的’。Lisp的名字来自表处理(LISt Processing),其设计是为了提供符号计算的能力,以便能用于解决一些程序设计问题,例如代数表达式的符号微分和积分。它包含了适用于这类目的的一些新数据对象,称为原子和表,这是它与那一时代的所有其他语言之间最明显的不同之处。Lisp并不是一个刻意的设计努力的结果,它以一种试验性的非正式的方式不断演化,以满足用户的需要和实际实现的各种考虑。Lisp的这种非官方演化持续了许多年,Lisp用户社团具有抵制制定这一语言的“官方。定义企图的传统。这种演化方式以及语言初始概念的灵活和优美,使得Lisp成为今天还在广泛使用的历史第二悠久的语言(只有Fortran比它更老)。这一语言还在不断调整,以便去包容有关程序设计的最新思想。正因为这样,今天的LIsp已经形成了一族方言,它们共享着初始语言的大部分特征,也可能有这样或那样的重要差异。用于本书Lisp方言名为Scheme2。

类似文章

发表评论

您的电子邮箱地址不会被公开。