《程序设计语言原理》求取 ⇩

第一章程序设计语言的概念1

1.1 程序设计语言1

1.2 程序设计语言的抽象方法4

1.3 计算的模式11

1.4 语言的定义17

1.5 语言的翻译20

1.6 语言的设计25

练习26

第二章语言设计的原理30

2.1 语言的历史和设计标准31

2.2 语言的有效性33

2.3 语言的一般性、正交性和统一性35

2.4 未来的语言设计原则38

练习42

第三章句法45

3.1 程序设计语言的词法结构45

3.2 上下文无关语法和BNF48

3.3 句法分析树和抽象句法树52

3.4 二义性、结合性和优先性55

3.5 EBNF和句法图58

3.6 句法分析的技术和工具63

3.7 语言的词法、句法和语义74

练习76

第四章基本语义80

4.1 属性、联编和语义函数81

4.2 说明、块和范围84

4.3 符号表93

4.4 存储分配、扩展和环境98

4.5 变量和常量109

4.6　别名、挂靠引用和废物114

4.7　表达式的求值121

4.8 程序设计语言形式语义的简单介绍127

练习134

第五章数据类型144

5.1 数据类型和类型的信息145

5.2 简单类型148

5.3 类型的构造操作149

5.4 类Pascal语言中的类型命名160

5.5 类型等价162

5.6 类型检查166

5.7 类型转换172

练习176

第六章控制结构184

6.1 卫哨命令和条件选择184

6.2 循环和WHILE的变形191

6.3 GOTC的争论196

6.4 过程和参数199

6.5 过程的环境、活跃状态和存储分配213

6.6 例外处理227

练习234

第七章　抽象数据类型244

7.1抽象数据类型的代数规格说明246

7.2　Mo1ula-2的抽象数据类型251

7.3　Ada的抽象数据类型257

7.4 其他语言的抽象数据类型261

7.5 重载和多态264

7.6　模块和分块编译272

7.7　抽象数据类型办法的存在问题282

练习288

第八章　面向对象程序设计语言292

8.1软件的重用性和独立性293

8.2　对象、类和方法296

8.3 继承302

8.4 动态联编310

8.5　C++314

8.6　Smalltalk324

8.7　面向对象语言的设计问题331

8.8 面向对象语言的实现问题335

练习340

第九章　函数程序设计345

9.1程序作为函数345

9.2 过程语言的函数程序设计349

9.3　Scheme：Lisp的一种本地语355

9.4 延缓求值371

9.5 函数程序设计的数学Ⅰ：递归函数377

9.6 函数程序设计的数学Ⅱ：Lambda演算380

9.7 函数语言的动态存储管理387

练习392

第十章逻辑程序设计399

10.1 逻辑和逻辑程序400

10.2 Horn子句404

10.3 归结和合一408

10.4 Prolog语言412

10.5 逻辑程序设计存在的问题425

10.6　逻辑程序设计的扩展：等式系统430

练习433

第十一章　并行程序设计438

11.1并行处理的介绍439

11.2 并行处理和程序设计语言443

11.3　伪并行化方法和协同例程451

11.4 信号量457

11.5 管程464

11.6 消息传递468

11.7 非过程语言的并行方法476

练习483

参考文献491