程序设计语言原理:英文版

第1章　预备知识111　学习程序设计语言原理的原因212　程序设计领域513　语言评估标准714　影响语言设计的因素1715　程序设计语言的分类2016　语言设计中的权衡2117　实现方法2218　程序设计环境29小结·复习题·习题30第2章　主要程序设计语言发展简史3321　Zuse研制的Plankalkül语言3622　伪代码3723　IBM 704计算机和Fortran4024　函数式程序设计语言：Lisp4525　迈向成熟的**步：ALGOL 605026　计算机化的商业记录：COBOL5627　分时处理的开始：Basic61访谈：Alan Cooper—用户设计与语言设计6428　满足所有人的需求：PL/I6629　两种早期的动态语言：APL 和SNOBOL69210　数据抽象的开端：SIMULA 6770211　正交设计：ALGOL 6871212　ALGOL系列语言的早期后代语言73213　基于逻辑的程序设计：Prolog77214　历史上规模*大的语言设计工作：Ada79215　面向对象程序设计：Smalltalk83216　结合命令式和面向对象的特性：C++85217　基于命令式的面向对象语言：Java89218　脚本语言92219　NET旗舰语言：C#98220　混合标记程序设计语言100小结·文献注记·复习题·习题·程序设计练习102第3章　语法和语义描述10931　概述11032　语法描述的一般问题11133　语法描述的形式化方法11334　属性文法128历史注记12835　描述程序的含义：动态语义134历史注记142小结·文献注记·复习题·习题155第4章　词法和语法分析16141　概述16242　词法分析16343　语法分析问题17144　递归下降的语法分析17545　自底向上的语法分析183小结·复习题·习题·程序设计练习191第5章　名字、绑定和作用域19751　概述19852　名字199历史注记19953　变量20054　绑定的概念20355　作用域21156　作用域和生存期22257　引用环境22358　命名常量224小结·复习题·习题·程序设计练习227第6章　数据类型23561　概述23662　基本数据类型23863　字符串类型242历史注记24364　枚举类型24765　数组类型250历史注记251历史注记25166　关联数组26167　记录类型26368　元组类型26669　列表类型268610　联合类型270611　指针和引用类型273历史注记276612　可选类型285613　类型检查286614　强类型化287615　类型等价288616　理论和数据类型292小结·文献注记·复习题·习题·程序设计练习294第7章　表达式和赋值语句30171　概述30272　算术表达式30273　重载运算符31174　类型转换313历史注记31575　关系表达式和布尔表达式316历史注记31676　短路求值31877　赋值语句319历史注记32378　混合方式赋值324小结·复习题·习题·程序设计练习324第8章　语句级控制结构32981　概述33082　选择语句33283　迭代语句34384　无条件分支355历史注记35685　防护命令35686　结论359小结·复习题·习题·程序设计练习360第9章　子程序36591　概述36692　子程序基础36693　子程序的设计问题37494　局部引用环境37595　参数传递方法376历史注记384历史注记38496　子程序作为参数392历史注记39497　子程序间接调用39498　函数设计问题39699　重载子程序397910　类属子程序398911　用户定义的重载运算符404912　闭包405913　协同程序407小结·复习题·习题·程序设计练习410第10章　子程序实现417101　调用和返回的一般语义418102　“简单”子程序的实现419103　具有栈动态局部变量的子程序实现421104　嵌套子程序429105　程序块436106　动态作用域的实现437小结·复习题·习题·程序设计练习441第11章　抽象数据类型和封装结构447111　抽象的概念448112　数据抽象概述449113　抽象数据类型的设计问题452114　语言示例453访谈：Bjarne Stroustrup—C++的诞生、广泛应用及受到的质疑454115　参数化的抽象数据类型466116　封装结构471117　命名封装474小结·复习题·习题·程序设计练习478第12章　对面向对象程序设计的支持483121　概述484122　面向对象程序设计485123　面向对象语言的设计问题489124　特定语言对面向对象程序设计的支持494访谈：Bjarne Stroustrup—关于程序设计范型和更好的程序设计 498125　面向对象结构的实现519126　反射522小结·复习题·习题·程序设计练习528第13章　并发533131　概述534132　子程序级并发概述539133　信号量544134　管程549135　消息传递551136　Ada对并发机制的支持552137　Java线程560138　C＃线程570139　函数式语言中的并发处理5751310　语句级并发578小结·文献注记·复习题·习题·程序设计练习580第14章　异常处理和事件处理587141　异常处理概述588历史注记592142　C++中的异常处理594143　Java中的异常处理598144　Python和Ruby中的异常处理605145　事件处理概述608146　Java中的事件处理609147　C#中的事件处理613小结·文献注记·复习题·习题·程序设计练习616第15章　函数式程序设计语言623151　概述624152　数学函数625153　函数式程序设计语言基础628154　**个函数式程序设计语言：Lisp629155　Scheme概述633156　Common Lisp651157　ML653158　Haskell658159　F#6631510　主要命令式语言对函数式程序设计的支持6661511　函数式语言和命令式语言的比较669小结·文献注记·复习题·习题·程序设计练习671第16章　逻辑程序设计语言679161　概述680162　谓词演算概述680163　谓词演算和定理证明 684164　逻辑程序设计概述686165　Prolog的起源688166　Prolog的基本元素688167　Prolog的缺点703168　逻辑程序设计的应用709小结·文献注记·复习题·习题·程序设计练习710参考文献715Contents Chapter 1 Preliminaries 1 11 Reasons for Studying Concepts of Programming Languages212 Programming Domains513 Language Evaluation Criteria7 14 Influences on Language Design 17 15 Language Categories20 16 Language Design Trade-Offs21 17 Implementation Methods22 18 Programming Environments 29 Summary Review Questions Problem Set 30 Chapter 2 Evolution of the Major Programming Languages 33 21 Zuse’s Plankalkül 36 22 Pseudocodes37 23 The IBM 704 and Fortran 40 24 Functional Programming: Lisp45 25 The First Step Toward Sophistication: ALGOL 6050 26 Computerizing Business Records: COBOL56 27 The Beginnings of Timesharing: Basic61 Interview: ALAN COOPER—User Design and Language Design64 28 Everything for Everybody: PL/I66 29 Two Early Dynamic Languages: APL and SNOBOL69 210 The Beginnings of Data Abstraction: SIMULA 67 70 211 Orthogonal Design: ALGOL 68 71 212 Some Early Descendants of the ALGOLs73 213 Programming Based on Logic: Prolog 77 214 History’s Largest Design Effort: Ada79 215 Object-Oriented Programming: Smalltalk83 216 Combining Imperative and Object-Oriented Features: C++85 217 An Imperative-Based Object-Oriented Language: Java89 218 Scripting Languages