程序设计语言原理【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

程序设计语言原理PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第一章 引言1

1．1 程序设计语言的作用1

1．1．1 程序设计语言在语言层次中的特征1

1．1．2 程序设计语言在软件描述中的作用2

1．1．3 程序设计语言的基本功能和分类3

1．2 程序设计语言的发展动力和发展趋势5

1．2．1 程序设计语言的发展动力5

1．2．2 程序设计语言的发展趋势6

1．2．3 与程序设计语言相关的若干领域7

1．3 程序设计语言的回顾8

1．3．1 最早出现的三种著名的程序设计语言10

1．3．2 几个典型的程序设计语言12

1．3．3 几个典型的其它风格的程序设计语言15

1．3．4 第四代程序设计语言17

1．4 程序设计语言的设计原则和量度18

1．4．1 满足用户需求的原则18

1．4．2 程序设计语言的设计原则18

1．4．3 设计原则的量化——量度和量度体系20

2．1 程序设计语言文本的描述26

第二章 程序设计语言的刻划26

2．2 程序设计语言和形式语言27

2．2．1 源程序27

2．2．2 程序设计语言的语法形式描述方法28

2．2．3 程序设计语言和Chomsky四型文法的关系31

2．3 程序设计语言的语义刻划33

2．3．1 操作语义描述法34

2．3．2 指称语义描述法38

2．3．3 公理语义描述法40

2．3．4 代数语义描述法42

2．4．1 程序设计语言的语用描述47

2．4 程序设计语言的语用和语境描述47

2．4．2 程序设计语言的语境描述48

2．5 程序设计语言的实现50

2．5．1 转换机制50

2．5．2 中间语言51

2．5．3 抽象机系统52

2．5．4 等价性理解54

第三章 词法成分58

3．1 源程序的组成单位58

3．2．1 编码集59

3．2．2 通用编码集(ISO 10646)的简单介绍59

3．2 字符集59

3．3 词法单位61

3．4 词牌和词法单位之间的关系63

第四章 数据成分及其加工65

4．1 命令式语言和作用式语言的区别65

4．2 数据的刻划要素67

4．3 数据的分类69

4．3．1 Ada中的类型70

4．3．2 Java中的类型72

4．3．3 独立于程序设计语言的数据类型(ISO／IEC 11404)的简单介绍73

4．4 数据类型的等价性分析83

4．4．1 类型的定义83

4．4．2 值集84

4．4．3 类型等价性定义88

4．4．4 相容性定义91

4．4．5 类型等价性分析中的某些问题92

4．5 数据的获取——赋值94

4．6 数据的加工——表达式97

4．7 类型的检测和转换99

4．7．1 强类型99

4．7．2 类型的检测100

4．7．3 类型的转换101

4．8 类型的继承和扩展102

4．9 类型的参数化103

4．9．1 Pascal语言的数组参数化103

4．9．2 Ada语言的类型的约束部分104

4．9．3 类属子句106

第五章 控制成分108

5．1 控制成分的分类108

5．2 结构化控制语句109

5．2．1 复合语句109

5．2．2 条件语句110

5．2．3 循环语句112

5．3 出口控制语句112

5．3．1 强制转移语句(goto语句)112

5．3．2 强制出口语句(exit语句)114

5．3．3 强制返回语句(Return语句)114

5．4 异常处理115

5．4．1 异常的特征115

5．4．2 中断条件115

5．4．3 Ada中的异常机制120

5．5 子程序125

5．5．1 子程序界面信息的定义126

5．5．2 形实参数的对应关系128

5．5．3 形实参数的传递机制129

5．6 实时语句134

5．6．1 Pearl语言的实时功能135

5．6．2 Ada中的实时特征142

5．6．3 Real-time Fortran的特征146

第六章 抽象和程序结构149

6．1 抽象149

6．2 模块设计原则150

6．3 模块实体的定义和使用152

6．4 模块类型的定义和使用154

6．5 Ada中的程序包156

6．6 类属成分159

6．7 数据的环境特征162

6．7．1 数据的作用域163

6．7．2 数据的生存期和可见度171

6．8 定连173

第七章 并发175

7．1 并发概念的重要性175

7．2．1 Wait-Cause机制179

7．2 语言中较早的并发措施179

7．2．2 信号量和PV操作180

7．2．3 条件临界区181

7．2．4 管程183

7．2．5 路径表达式184

7．3 卫式命令语言187

7．4 CSP语言189

7．4．1 通道189

7．4．2 CSP的语法190

7．5 Petri网193

7．6 消息传递196

7．7 任务和同步197

7．7．1 任务197

7．7．2 保护成分199

7．7．3 任务间通信201

7．7．4 会合205

7．7．5 其它特性和SELECT语句208

第八章 预定义成分和语境210

8．1 预定义成分211

8．2 与系统实现者有关的成分212

8．3 外部成分的引入机制214

8．4．1 程序包方式提供的输入输出功能——Ada216

8．4 输入输出成分216

8．4．2 输入输出格式集中刻划的输入输出功能——Fortran226

8．4．3 输入输出格式在数据的说明中给出——COBOL230

8．4．4 输入输出格式紧密结合的方法——Pascal233

第九章 逻辑式程序设计语言234

9．1 Horn子句234

9．2 逻辑程序设计的运行基础237

9．2．1 指派237

9．2．2 消解原理237

9．2．3 归结和反演240

9．3 逻辑程序的抽象解释242

9．4 逻辑程序设计的特征246

9．5 逻辑程序的顺序执行机制247

9．6 逻辑程序的并行执行机制250

9．7 并行逻辑程序设计语言PARLOC252

第十章 函数式程序设计语言255

10．1 函数式程序设计的基本特征255

10．2 Lisp语言258

10．3 FP语言268

10．3．1 FP语言268

10．4 ML语言274

10．4．1 SML的类型275

10．4．2 SML的函数278

10．4．3 SML函数中的几个定义280

10．4．4 SML抽象数据类型和模块设施283

第十一章 对象式程序设计语言286

11．1 对象式程序设计的基本特征286

11．2 对象式程序设计语言中的几个主要概念287

11．2．1 对象287

11．2．2 类288

11．2．3 继承289

11．2．4 多态292

11．2．5 动态定连292

11．3 对象式程序设计语言例293

11．3．1 SIMULA293

11．3．2 SMALLTALK295

11．3．3 C++296

11．3．4 EIFFEL297

11．3．5 JAVA298

11．3．6 Ada300

参考文献301