这是一本很有特色的教材,其核心是讨论程序设计语言的工作原理和技术。本书融合了传统的程序设计语言教科书和编译教科书的有关知识,并增加了一些有关汇编层体系结构的材料,以满足没学过计算机组织的学生们的需要。书中通过各种语言的例子,阐释了程序设计语言的重要基础概念,讨论了各种概念之间的关系,解释了语言中许多结构的形成和发展过程,以及它们演化为今天这种形式的根源。书中还详细讨论了编译器的工作方式和工作过程,说明它们对源程序做了什么,以及为什么要那样做。书的每章最后附有复习题和一些更具挑战性的练习。这些练习的特别价值在于引导学生进一步深入理解各种语言和技术。本书第2版新增了脚本语言问题的讨论,涵盖Perl、Python、Ruby、Tcl、PHP、JavaScript、XSLT等和其他语言。\r\n 本书在美国大学已使用了十余年,目前被欧美许多重要大学用于“程序设计语言”或者“软件系统”课程。本书适合高年级本科生或者一年级研究生使用,许多内容对专业程序员也很有价值。本书作者Michael L.Scott 是计算机领域的著名学者,译者是北京大学的裘宗燕教授,他熟悉专业,译笔流畅,因此,这是一本难得的著、译双馨的佳作。
第1部分 基础 \r\n 第1章 引言 \r\n 1.1 语言设计的艺术 \r\n 1.2 程序设计语言的谱系 \r\n 1.3 为什么研究程序设计语言 \r\n 1.4 编译和解释 \r\n 1.5 程序设计环境 \r\n 1.6 编译概览 \r\n 1.7 总结和注记 \r\n 1.8 练习 \r\n 1.9 探索 \r\n 1.10 有关参考文献 \r\n 第2章 程序设计语言的语法 \r\n 2.1 描述语法:正则表达式和上下文无关文法 \r\n 2.2 扫描 \r\n 2.3 语法分析 \r\n 2.4 理论基础 \r\n 2.5 总结和注记 \r\n 2.6 练习 \r\n 2.7 探索 \r\n 2.8 有关参考文献 \r\n 第3章 名字、作用域和约束 \r\n 3.1 约束时间的概念 \r\n 3.2 对象生存期和存储管理 \r\n 3.3 作用域规则 \r\n 3.4 作用域的实现 \r\n 3.5 引用环境的约束 \r\n 3.6 作用域里的约束 \r\n 3.7 分别编译 \r\n 3.8 总结和注记 \r\n 3.9 练习 \r\n 3.10 探索 \r\n 3.11 有关参考文献 \r\n 第4章 语义分析 \r\n 第5章 目标机体系结构 \r\n第2部分 语言设计的核心问题 \r\n 第6章 控制流 \r\n 第7章 数据类型 \r\n 第8章 子程序和控制抽象 \r\n 第9章 数据抽象和面向对象 \r\n第3部分 其他程序设计模型 \r\n 第10章 函数式语言 \r\n 第11章 逻辑式语言 \r\n 第12章 并发 \r\n 第13章 脚本语言 \r\n第4部分 对实现的近距离考查 \r\n 第14章 构造可运行程序 \r\n 第15章 代码改进 \r\n附录A 本书中提到的程序设计语言 \r\n附录B 语言设计和语言实现 \r\n附录C 编号示例表 \r\n参考书目 \r\n索引
Michael Scott的Programming Language Pragmatics是一本很有价值的教科书,其内容涵盖程序设计语言、编译技术、软件系统的许多方面,甚至延伸到硬件体系结构等许多领域。出现这一情况的根源很明显:程序语言在计算机科学技术领域居于一种中心地位。程序是计算机科学技术里最核心的概念,而作为描述程序的语言,集中体现了程序设计和软件开发实践中形成的最有价值、最具普遍性的认识和技术。程序语言下接硬件体系结构,上承丰富多彩的计算机应用需求,既反映了开发者的专业发展和局限性,又受到实现的制约。这样,程序语言里很自然地浓缩了相关领域的大量知识和技术精华,要理解语言发展和演化的现状和趋势,也必然涉及与之相关的众多领域。本书作者熟悉这些相关领域,因此能在其中纵横驰骋,为我们展现了一幅有关程序语言的生动、全面,而又非常深刻的画卷。
本书系统地介绍了程序语言领域的各种基本概念,介绍了语言处理方面的许多知识,不同的语言范型以及相关的理论和实践。在讨论各种语言特征时,特别仔细地考察了人们的评价和反思,阐释了各种特征的设计变化,以及理论和技术发展对语言形态和细节的影响。与此同时,本书还深入介绍了本领域的许多新发展、新问题和新技术。例如,作者用一章的篇幅深入探讨了面向对象语言的问题,不仅介绍了这类语言的外在形式特征及其价值,还特别仔细地讨论了这类语言中各种新的重要机制的实现技术,如动态方法约束、多重继承等等。用很长的一章深入讨论了并行性的历史和发展,以及与并行性有关的各种重要问题。第2版新增了有关脚本语言的一章,其中讨论了脚本语言的特点、应用和许多深入问题。书中还详细讨论了高级语言的加工过程,程序的静态连接和动态连接,以帮助读者理解这方面的情况。作者在书中既强调了重要的概念和理论,也特别重视各种特征的实现技术,并深入探讨了实现技术及其发展进步对程序语言设计的影响。应该看到,语言实现方面的许多技术都是最重要的程序技术,作者的这些想法也使本书成为一部很有价值的软件技术书籍。
本书新的第2版增加了许多内容,特别反映了程序设计语言领域最近几年的新发展。例如书中特别讨论了C99的许多新特征,讨论了Java和C# 的泛型机制,Java等语言最新的并行库的重要特征,Python和Ruby语言的面向对象模型和高级结构。本书的内容也大大增加了,配套光盘里包含一些问题的深入讨论,还有许多很有价值的参考材料。
总而言之,本书在许多方面有鲜明特色,是程序设计语言领域教科书的最新代表。本书出版之后受到人们的广泛关注,很快被世界各国的许多重要大学选为“程序设计语言”或相关课程的教科书或重要参考书。我认为,这本书不仅值得计算机专业的本科生或研究生学习,也值得计算机领域的实践工作者们阅读。对本书的学习能帮助我们理解现有的各种程序设计语言,提高学习和掌握新语言的能力,还能帮助我们看清隐藏在高级语言的各种机制背后的许多深入的东西,理解各种重要语言特征的价值、缺陷和使用它们的代价。对程序设计语言的深入理解,对于计算机专业工作者深刻理解相关的理论和实践,灵活高效地运用程序语言和相关工具,都可能起到非常重要的作用。
我非常赞赏电子工业出版社引进这本很有价值的著作,也很高兴能在把本书介绍给国内读者方面做些工作。我感谢方舟编辑的远见卓识和陈元玉编辑的辛勤工作,还要感谢夏萍和丛欣对我的一贯支持和帮助。本书涉及领域广泛,其中许多是我不熟悉的。虽然我已尽可能查阅了一些材料,但书中难免还会留下许多缺陷,希望得到同行和读者的指教。
裘宗燕
2007年5月于北京大学
Michael L.Scott 是罗切斯特大学计算机科学系的教授,前任系主任。他于1985年获得麦迪逊的威斯康星大学博士学位。他是Lynx分布式程序设计语言、Charlocle和Psyche并行操作系统、Bridge并行文件系统、Casllmere和InterWeave分布式共享存储系统和许多广泛使用的同步算法和并发数据结构的设计者或共同设计者。2001年获得该大学的“Robetl和Pamela Goergen本科生教学突出贡献奖”。
计算机程序设计的课程给了普通学生有关计算机领域的第一个印象。在上这种课程之前,大多数学生已经在自己的生活中使用着计算机,用于诸如电子邮件、计算机游戏、浏览网页、做文字处理、即时消息(聊天),以及大量其他事项,而且在他们还没有写出自己的程序之前,就已经开始关注这些应用系统的工作方式了。在获得了作为程序员的一定能力之后(假定已经学过很好的有关数据结构和算法的课程),很自然地,下一步就是想知道程序设计语言是如何工作的。本书就是对此提供一个解释。本书的目标很简单,就是采用尽可能容易理解和最精确的语言,采用普通本科生愿意阅读并易于接受的风格。这一目标反应了我的一种信念:如果我们真能很好地解释一件事情究竟是怎样的,学生总是希望想理解更多东西,并乐于去接触更多的材料。
在常规的有关“系统”的教学计划里,数据结构(或者再加上计算机组织)之后的内容被分门别类归入属于一些子领域的一批课程,如程序设计语言、编译构造、计算机体系结构、操作系统、并行和分布式计算、数据库管理系统,可能还有软件工程、面向对象的设计、图形学,或者用户界面系统。这种安排方式存在一个缺点:这一科目列表在不断地增长,而学士课程教学计划中的学期数却保持不变。或许更重要的是,有关计算机科学最有趣的许多东西都处在这些科目之间的边界上。例如,RISC革命造成计算机体系结构和编译器构造之间持续20年的联盟。最近几年,重新热起来的对虚拟机的兴趣使操作系统内核与语言的运行时系统之间的分界线变得很模糊了。Java和 .NET也以类似的形式模糊了编译器和运行库之间的分野。今天许多程序被常规地嵌在万维网页、电子报表和用户界面里。
与此同时,教育工作者和研究者也越来越认识到必须关注这些相互关系。特别是在高等教育的核心教学计划中出现一种集成的趋势。许多学校不是给普通学生有关两三个狭窄科目的深入探讨,同时又在其他方面留下很大的空缺,而是重整了有关程序设计语言和操作系统的课程,使之涵盖范围更广泛的科目,再提供一些更专门的后续课程。这一趋势在很大程度上是ACM/IEEE计算教程2001所提出的认识的发展。在这一教程中强调了本领域的成长,对于广度日益增长的需要,教学计划设计灵活性的重要意义,以及对于毕业生的总体目标:“必须有一种系统层面的认识,该认识应适于帮助理解理论和实践之间的相互作用,熟悉常见的研究课题,并能随着本领域的发展而更新”[CR01,11.1节,有修改]。
《程序设计语言——实践之路》的第1版很幸运地跟上了这种趋势。第2版继续并加强了对集成学习的重视程度,并继续以关于程序设计语言设计的讨论为中心。
本书的核心就是讨论程序设计语言是如何工作的问题。其中并没有去列举许多不同语言的细节,而是集中关注学生们可能遇到的有关所有语言之基础的一批概念,通过各种各样的实际例子阐释这些概念,并努力探索解释为什么不同语言的设计采纳了不同方式背后的那些利弊权衡。同样,本书也不去讨论如何构造一个编译器或者解释器(那只是极少数的程序员最终需要整个地参与的一种工作),它将集中关注编译器对输入的源程序做了些什么事情,以及为什么要那样做。语言的设计和实现在这里被放在一起考察,其中特别强调它们之间相互作用的各种方式。
第2版的变化
Changes in the Second Edition
第2版有4个目标:
1. 引进一些新材料,最主要的是有关脚本语言的材料。
2. 更新内容,使之反映过去六年中发生的各方面情况。
3. 减少提高书价格的压力。
4. 从教育学的观点加强这本书,使之更容易使用,更容易理解。
项(1)是内容上最重要的变动。由于万维网的迅猛扩张,我们可以看到如Perl、PHP、Tcl/Tk、Python、Ruby、JavaScript和XSLT等语言的巨大发展,不仅在其商业重要性方面,也在其设计创新方面。今天的许多毕业生将把他们更多的时间花到脚本语言的工作上,可能比C++、Java和C# 更多。有关脚本语言的一个新章(第13章)首先是按应用领域组织的(外壳语言,文字处理和报表生成,数学和统计,“粘接”语言和通用脚本语言,扩充语言,以及万维网脚本),而后再按新特征组织的(名字和作用域,字符串和模式匹配,高级数据结构,面向对象)。对于脚本语言的讨论也被加入正文中其他所有合适的地方。
项(2)反映了一些关键性的发展,如C99标准的最终完成,Java 5和C#(版本2.0)的出现。第6章(控制流)现在包括了装盒和开盒,以及最新的迭代器结构。第8章(子程序)讨论了Java和C# 的泛型。第12章(并发性)涵盖了Java 5的并行库(JSR 166)。对C# 的讨论也加入了通篇中各个合适的地方。为了反映微处理器市场的变化,在第5章(体系结构)和第8章(子程序)的实例研究中,无处不在的Intel/AMD x86取代了Motorola 68000。第8章里有关MIPS的实例研究也提升到64位模式。有关技术指标和趋势的讨论也都做了更新。在一些地方,我重写了使用语言的例子,采用了一些学生可能更熟悉的实例。这一过程无疑还将在今后的版本中继续进行。
第2版里许多章节做了大量修改,以使之更清晰并更准确。有关章节包括有穷自动机的创建(2.2.1节),声明顺序(3.3.3节),模块(3.3.4节),别名和重载(3.6.1节和3.6.2节),多态性和泛型(3.6.3节、7.1.2节、8.4节和9.4.4节),分别编译(3.7节),延续、异常和多层返回(6.2.1节、6.2.2节和8.5节),调用序列(8.2节)以及第5章的几乎全部内容。
项(3)反映了Morgan Kaufmann关于使教科书具有学生容易接受的价格的承诺。第1版比与之可比的教科书更大而且内容更全面,但售价却更低。第2版用高质量的平装形式保持了可接受的价格(同时减小了体积)。
最后是项(4),体现在大量表现方式的改变上。其中一些改变很细微,例如给出了更多的小节标题,以及更多历史事实。更重要的是将本书组织为四个主要部分:
第1部分 包含最基础的材料:(1)有关语言设计和实现的简介;(2)程序设计语言的语法;(3)名字、作用域和约束;(4)语义分析;(5)目标机体系结构。这里的(2)和 (5)以合理的方式集中关注实现方面的问题,(1)和(4)涉及面较广,(3)介绍了语言设计中的一些核心问题。
第2部分 继续涵盖其他的核心问题:(6)控制流;(7)数据类型;(8)子程序和控制抽象;(9)数据抽象和面向对象。最后一章从其在第1版里的位置前移了,反映了面向对象程序设计在现代计算中的中心地位。
第3部分 转向其他程序设计模型:(10)函数式语言;(11)逻辑式语言;(12)并发;(13)脚本语言。在第1版里函数式和逻辑式语言共处一章。
第4部分 转向语言的实现:(14)构造可执行程序(代码生成、汇编和连接);(15)代码改进(优化)。
配套光盘
The PLP CD
为了减小本教科书的物理体积,为新材料让出位置,使学生可以在浏览本书时集中关注最基本的材料,大约250页更高级的或者更外围的材料被放入随书配套的光盘里。其中的大部分章节(不是全部)是在第1版中被标为高级的或可选的内容。
其中最重要的变动是将有关代码改进的整个第15章移到光盘里,移入的其他材料是一些散布各处的节或小节。这样的每节都在教科书正文中有所表现,有一段关于相关论题的简单介绍,以及一个“深度探索”段落,其中综述了该处省略的材料。
请注意,把这些材料放在光盘并不意味着对它们技术重要性的评价,而只是反映了一个事实:最值得包含的材料已经超过了一卷书或者一门课程的容量。我的意图是把那些大部分课程可能涵盖的材料放在印刷形式的教科书中。
关于设计和实现的旁白
Design & Implementation Sidebars
本书第1版特别强调了语言设计对于实现选择的影响,以及预期的实现方式对于语言设计的影响。第2版用超过120个旁白把这方面的联系表现得更清楚了。有关这种旁白的更多细节将在第7页(第1章)说明。附录B给出了所有旁白的目录。
编号并加标题的实例
Numberde and Titled Examples
第2版中的实例被更明确地编织在讨论中。为使读者更容易找到特定的实例,记住它们的内容,并更容易在其他地方引用这些实例,现在每个实例都有一个页边注,标明其编号和标题。全文和配套光盘里大约有900个这样的实例,附录C是有关它们的详细目录。
练习的安排
Exercise Plan
第1版包含总共385个复习题和312个练习,都放在各章最后。在第2版里,复习题被移到各节的最后,更接近它们所涉及的内容,使读者更容易弄清自己是不是抓住了最重要的概念。复习题的数目大约增加了一倍。
习题还是放在各章最后,现在分为练习和探索两类。前者倾向于或多或少更加直截了当一些,当然比每节最后的复习题更有挑战性。它们适合作为课下作业或简单课题。探索中的问题是更开放的,需要做一些基于网络或图书馆的研究工作,花费明显更多的时间;或者是去形成一种客观的认识。习题总数从第1版的略多于300道扩充为这一版的大约500道。对于注册的教师,可以从密码保护的网址得到习题解答(不包括探索题),需要者请访问www.mkp.com/companions/ 0126339511/。
如何使用本书
How to Use the Book
《程序设计语言——实践之路》涵盖了计算教程2001报告 [CR01] 中PL“知识单元”的几乎所有材料。本书特别适合CS 341模块课程(程序设计语言设计),也被用于CS 340(编译构造)或CS
无封面