程序设计语言原理

出版者的话

专家指导委员会

译者序

前言

第1章基本概念

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

1．2程序设计应用领域

1．3语言评估标准

1．4影响语言设计的因素

1．5语言分类

1．6语言设计中的权衡

1．7实现方法

1．8程序设计环境

小结*复习题*练习题

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

2．1Zuse的Plankalkiil语言

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

2．3IBM704计算机与：Fortrzan

2．4函数式程序设计：LISP语言

2．5迈向成熟的第一步：ALGOL60

2．6商务记录计算机化：COBOL

2．7分时操作的开始：BASIC

2．8用途广泛的语言：PL/I

2．9两种早期的动态语言：APL和SNOBOI

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

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局部引用环境v

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数据抽象介绍

11．3抽象数据类型的设计问题

11．4语言示例

11．5有参数的抽象数据类型

11．6封装结构

11．7命名封装

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

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

12．1概述

12．2面向对象程序设计

12．3面向对象语言的设计问题

12．4Smalltalk对面向对象程序设计的支持

12．5c++对面向对象程序设计的支持

12．6．Java对面向对象程序设计的支持

12．7C#对面向对象程序设计的支持

12．8Ada95对面向对象程序设计的支持

12．9JavaScript的对象模型

12．10面向对象结构的实现

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

第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．5Java的事件处理

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逻辑程序设计的应用

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

参考文献

索引

　　本书是关于介绍“程序设计语言原理”的教学用书，具体包括了：主要程序设计语言的发展、学习程序设计语言原理的缘由、抽象数据类型和封装结构、描述语法和语义、函数式程序设计语言、逻辑程序设计语言、表达式与赋值语句等方面的内容。　　本书从为什么学习程序设计语言人手，深入细致地讲解了命令式语言的主要结构及其设计与实现，内容涉及变量、数据类型、表达式和赋值语句、控制语句、子程序、数据抽象机制、支持面向对象程序设计（继承和动态方法绑定）、并发程序单元和异常处理等方面。在最后两章介绍了函数式程序设计语言和逻辑程序设计语言。作者简介：　　RobertW.Sebesta，在宾夕法尼亚州大学获得计算机科学硕士和博士学位，并拥有三十多年的教授计算机科学课程的经验。目前担任科罗拉多大学科罗拉多泉分校计算机科学系的副教授和系主任、ACM和IEEE计算机学会的会员，主要研究方向是设计和评估程序设计语言、编译器设计以及软件测试方法和工具。