计算机程序设计(套装)(全2册)

《计算机程序的构造和解释（JavaScript版）》主要介绍计算的核心思想，采用的方法是为计算建立一系列概念模型。主要内容包括：构造过程抽象，构造数据抽象，模块化、对象和状态，元语言抽象，寄存器机器里的计算等。采用JavaScript作为实例分析，但并不拘泥于对语言的解释，而是通过这种语言来阐述程序设计思想。第1章介绍了计算过程以及函数在程序设计中扮演的角色。第2章在第1章的基础上提供了将数据对象组合起来形成复合数据，进而构造抽象的方法。第3章介绍了一些帮助我们模块化构造大型系统的策略。第4章通过元语言抽象探究如何在一些语言的基础上开发新语言的技术。第5章从寄存器机器的角度出发，通过设计寄存器机器，开发一些机制，实现重要的程序设计结构，同时给出一种描述寄存器机器设计的语言。本书揭示计算机程序设计思想的实质是改变了人们的思考方式：从命令式的观点去研究知识的结构。因此，本书所阐述的设计思想不仅适用于计算机程序设计，而且适用于所有工程设计。
《软件灵活性设计：如何避免陷入编程困境》主要介绍如何利用数学符号操作、基于规则的系统和通用程序构建灵活的软件，并利用依赖系统跟踪、解释和控制回溯。第1章通过对编程哲学的介绍提出灵活性的概念。第2章探讨如何用一些普遍适用的方法构建易于扩展的系统。第3章介绍谓词分派的通用程序。第4章介绍符号模式匹配，首先启用术语重写系统，然后通过合一展示类型推理的实现。第5章探讨解释和编译。第6章展示如何构造分层数据和分层程序的系统，并用各种元数据注释其中的数据项。第7章引入传播这一概念来摆脱计算机语言的面向表达式范式。

哈罗德?阿贝尔森（Harold Abelson）是MIT 1992年度MacVicar Faculty Fellow。在MIT电子工程和计算机科学系工作，得到过重要的计算机科学教育奖——IEEE计算机协会的Booth奖。
杰拉尔德·杰伊·萨斯曼（Gerald Jay Sussman），麻省理工学院电子工程系教授。他长期从事人工智能的研究，还从事过计算机语言、计算机体系结构和超大规模集成电路设计方面的工作（Scheme编程语言的发明人之一），并致力于用计算机语言来表达和解决各领域的实际问题。他是IEEE 、AAAI 、ACM、AAAS等协会的Fellow，曾获得ACM Karl Karlstrom杰出教育家奖、Bose教学奖等。
马丁·亨茨（Martin Henz），新加坡国立大学计算机科学系副教授。他曾是德国人工智能研究中心的科学家。他目前主要从事体验式学习的可扩展性的研究和教学。他因为在这方面的出色工作，而和Tobias Wrigstad将SICP这本书改编为JavaScript版本。他发表很多关于计算机科学和工程教育、编程语言等方面的论文。
托拜厄斯·瑞格斯塔德（Tobias Wrigstad），乌普萨拉大学信息技术系教授，主要从事编程语言、并行编程、软件工程、并发编程方面的研究工作。在教学方面，长期为本科生讲授命令与面向对象编程方法论的导论课程。
朱莉·萨斯曼（Julie Sussman），作家和编辑，同时使用自然语言和计算机语言写作。
克里斯·汉森（Chris Hanson）目前在Datera公司担任技术人员,他曾在麻省理工学院工作多年，是MIT/GNU Scheme系统的主要开发者。他还曾在谷歌工作10年。

杰拉尔德·杰伊·萨斯曼（Gerald Jay Sussman）麻省理工学院松下电气工程教授。自1964年以来，他一直参与麻省理工学院的人工智能研究。他的研究重点是了解科学家和工程师使用的问题解决策略，目标是自动化部分过程并将其形式化，以提供更有效的科学和工程教育方法。他还从事计算机语言、计算机体系结构和VLSI设计方面的工作。他是IEEE终身会士、NAE院士、AAAI会士、ACM会士、 AAAS会士。

《计算机程序的构造和解释：JavaScript版》
《软件灵活性设计：如何避免陷入编程困境》