程序设计语言原理

出版者的话

专家指导委员会

译者序

前言

第1章基本概念

1.1学习程序设计语言原理的缘由

l.2程序设计应用领域

1.3语言评估标准

1.4影响语言设计的因素

1.5语言分类

1.6语言设计中的权衡

1.7实现方法

1.8程序设计环境

小结*复习题*练习题

第2章主要程序设计语言的发展

2.1Zuse的Plankalktil语言

2.2最小硬件的程序设计：伪代码

2.3IBM704计算机与Fortran

2.4函数式程序设计语言：LISP

2.5迈向成熟的第一步：ALGOL60

2.6商务记录计算机化：COBOL

2.7分时操作的开始：BASIC

2.8用途广泛的语言：PL／I

2.9两种早期的动态语言：APL和SNOBOL

2.10数据抽象的开始：SIMuLA67

2.11正交性语言的设计：ALGOL68

2.12早期ALGOL系列语言的后代产品

2.13基于逻辑的程序设计：Prolog

2.14历史上规模最大的语言设计：Ada

2.15面向对象的程序设计：Smalltalk

2.16结合命令式与面向对象的特性：C++

2.17一种基于命令式的面向对象语言：Java

2.18脚本语言：JavaScript、PHP、Python和Ruby

2.19一种基于c的新世纪语言：C#

2.20标志与程序设计混合式语言

小结*文献注释*复习题*练习题*程序设计

练习题

第3章描述语法和语义

3.1概述

3.2描述语法的普遍问题

3.3描述语法的形式方法

3.4属性文法

3.5描述程序的意义：动态语义

小结*文献注释*复习题*练习题

第4章词法分析和语法分析

4.1概述

4.2词法分析

4.3语法分析问题

4.4递归下降语法分析

4.5自底向上语法分析

小结*复习题*练习题*程序设计练习题

第5章名字、绑定、类型检测和作用域

5.1概述

5.2名字

5.3变量

5.4绑定的概念

5.5类型检测

5.6强类型化

5.7类型等价

5.8作用域

5.9作用域与生存期

5.10引用环境

5.11命名常量

小结*复习题*练习题*程序设计练习题

第6章数据类型

6.1概述

6.2基本数据类型

6.3字符串类型

6.4用户定义的序数类型

6.5数组类型

6.6关联数组

6.7记录类型

6.8联合类型

6.9指针类型与引用类型

小结*文献注释*复习题*练习题*程序

设计练习题

第7章表达式与赋值语句

7.1概述

7.2算术表达式

7.3重载操作符

7.4类型转换

7.5关系表达式和布尔表达式

7.6短路求值

7.7赋值语句

7.8混合模式赋值

小结*复习题*练习题*程序设计练习题

第8章语句层次的控制结构

8.1概述

8.2选择语句

8.3循环语句

8.4无条件分支

8.5守卫的命令

8.6结论

小结*复习题*练习题*程序设计练习题

第9章子程序

9.1概述

9.2子程序的基本原理

9.3子程序的设计问题

9.4局部引用环境

9.5参数传递方法

9.6子程序名作为参数

9.7重载子程序

9.8通用子程序

9.9函数的设计问题

9.10用户定义的重载操作符

9.11协同程序

小结*复习题*练习题*程序设计练习题

第10章实现子程序

10.1调用与返回的一般语义

10.2实现“简单”子程序

10.3实现具有栈动态局部变量的子程序

10.4嵌套子程序

10.5块

10.6实现动态作用域

小结*复习题*练习题

第11章抽象数据类型和封装结构

11.1抽象概念

11.2数据抽象介绍

ll.3抽象数据类型的设计问题

11.4语言示例

11.5有参数的抽象数据类型

11.6封装结构

11.7命名封装

小结*复习题*练习题*程序设计练习题

第12章支持面向对象的程序设计

12.1概述

12.2面向对象程序设计

12.3面向对象语言的设计问题

12.4Smalltalk对面向对象程序设计的支持

12.5C++对面向对象程序设计的支持

12.6Java对面向对象程序设计的支持

12.7C#对面向对象程序设计的支持

12.8Ada95对面向对象程序设计的支持

12.9Ruby对面向对象程序设计的支持

12.10JavaScript的对象模型

12.11面向对象结构的实现

小结*复习题*练习题*程序设计练习题

第13章并发

13.1概述

13.2子程序层次并发的介绍

13.3信号量

13.4管程

13.5消息传递

13.6Ada对并发的支持

13.7Java线程

13.8C#线程

13.9语句层次的并发

小结*文献注释*复习题*练习题。程序

设计练习题

第14章异常处理和事件处理

14.1异常处理慨述

14.2Ada中的异常处理

14.3C++中的异常处理

14.4Java中的异常处理

14.5事件处理概述

14.6Java的事件处理

小结*文献注释*复习题*练习题*程序

设计练习题

第15章函数式程序设计语言

15.1概述

15.2数学函数

15.3函数式程序设计语言的基础

15.4第一种函数式程序设计语言：LISP

15.5Scheme概述

15.6COMMONLISP

15.7ML

15.8Haskell

15.9函数式语言的应用

15.10函数式语言和命令式语言的比较

小结*文献注释*复习题*练习题*程序

设计练习题

第16章逻辑程序设计语言

16.1概述

16.2谓词演算的简短介绍

16.3谓词演算与定理证明

16.4逻辑程序设计概述

16.5Prolog的起源

16.6Prolog的基本元素

16.7Prolog的缺陷

16.8逻辑程序设计的应用

小结*文献注释*复习题+练习题*程序

设计练习题

参考文献

索引

　　本书的主旨是为读者提供对现有的和将来的程序设计语言进行客观评价所需要的方法和思路，增强读者学习新语言的能力并理解语言的实现。本书从学习程序设计语言的原因，常用程序设计语言的演化史、评估程序设计语言结构的标准，以及这些语言基本的实现方法开始讲起，通过不局限于特定语言种类地分析语言结构的设计问题，检测设计选择，以及比较设计可选方案来讲述程序设计语言基本原理。本书并非讲授如何使用一门语言，而是讨论语言的结构、特性及其在各种情景中的设计和实现以及如何根据给定的任务选择合适的语言。　　本书从为什么学习程序设计语言入手，深入细致地讲解了命令式语言的主要结构及其设计与实现，内容涉及变量、数据类型、表达式和赋值语句、控制语句、子程序、数据抽象机制、支持面向对象程序设计(继承和动态方法绑定)、并发和异常处理等方面。最后两章介绍了函数式程序设计语言和逻辑程序设计语言。　　本书内容丰富，剖析透彻，被美国和加拿大多所高等院校采用作为教材。本书既可用做高等院校计算机及相关专业本科生程序设计语言课程的教材和参考书，也可供程序设计人员参考。