高等学校规划教材 程序设计语言与编译2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

高等学校规划教材 程序设计语言与编译PDF格式电子书版下载

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

第一章　绪论1

第一节　引言1

第二节　语言的定义2

一、语法3

二、语义7

第三节　强制式语言8

一、冯·诺依曼体系结构9

二、绑定概念9

三、变量10

四、虚拟机14

第四节　程序单元15

第五节　程序设计语言发展简介16

习题22

第二章　数据类型24

第一节　引言24

第二节　内部类型24

第三节　用户定义类型26

第四节　Pascal类型结构30

第五节　Ada类型结构37

第六节　类型检查42

第七节　类型转换43

第八节　类型等价44

第九节　抽象数据类型45

一、SIMULA67的类机制45

二、CLU的抽象数据类型50

三、Ada的抽象数据类型51

四、Modula-2的抽象数据类型54

第十节　实现模型56

一、内部类型和用户定义的非结构类型56

二、结构类型57

习题62

第三章　控制结构63

第一节　语句级控制结构63

一、顺序63

二、选择63

三、重复66

四、语句级控制结构讨论69

五、用户定义控制结构70

第二节　单元级控制结构70

一、显式调用从属单元71

二、隐式调用单元——异常处理74

三、SIMULA67协同程序78

四、并发单元80

习题87

第四章　程序设计语言与编译程序90

第一节　上下文无关文法90

一、文法90

二、文法产生的语言92

第二节 自动机95

一、有限自动机的定义96

二、有限自动机的表示97

三、有限自动机识别的语言98

四、NFA和DFA的等价性98

第三节　正则表达式和正则集99

一、正则表达式和正则集的定义99

二、有限自动机与正则表达式的等价性99

三、正则表达式的应用——词法分析器的自动生成100

第四节　下推自动机100

一、不确定的下推自动机的定义100

四、一些等价性定理101

三、确定的下推自动机的定义101

二、下推自动机识别的语言101

第五节　编译概述102

一、不同语言之间的翻译102

二、程序的编译执行和解释执行102

三、编译程序的组成103

习题106

第五章　词法分析与语法分析109

第一节　词法分析109

一、词法分析的功能109

三、单词的编码110

二、单词的种类110

四、词法错误检查111

五、词法分析器的生成111

第二节 自顶向下语法分析114

一、回溯分析法114

二、无回溯的递归下降分析法115

三、预测分析程序118

四、LL（1）文法119

五、预测分析表的构造121

一、算符优先分析法122

第三节 自底向上语法分析122

二、LR分析法125

三、识别活前缀的DFA128

四、SLR分析表的构造131

第四节　LEX和YACC133

一、词法分析器的自动生成133

二、LEX的描述136

三、LALR（1）分析器的自动生成136

四、YACC的描述137

习题138

第一节　语义分析和中间代码生成140

第六章　代码生成和代码优化140

一、三地址代码141

二、只含简单变量的赋值语句的翻译141

三、含数组元素的赋值语句的翻译143

四、一类说明语句的翻译148

五、一类控制语句的翻译149

六、循环语句的翻译152

第二节　属性文法153

二、属性的分类154

一、语法制导定义154

三、依赖图155

四、语义规则的计算次序156

五、属性文法的两个子集156

第三节　代码优化157

一、优化的定义157

二、不同阶段的优化158

三、划分基本块和构造程序流图158

四、局部优化160

五、循环优化161

第四节　代码生成165

习题168

第七章　运行时存储空间管理171

第一节　变量及存储分配171

一、程序的存储空间171

二、活动记录171

三、变量的存储分配172

四、存储分配模式173

第二节　静态分配174

二、运行环境的转换175

一、FORTRAN程序的运行时结构175

第三节　栈式分配177

一、只含半静态变量的栈式分配177

二、半动态变量的栈式分配180

三、动态变量的存储分配180

四、非局部环境180

五、对非局部环境的引用182

第四节　堆分配183

一、数据参数传递184

第五节　参数传递184

二、过程参数传递185

第六节　符号表186

一、符号表的组织186

二、常用的符号表结构187

习题189

第八章　非过程式程序设计语言192

第一节　引言192

第二节　函数式程序设计语言194

一、函数194

二、数学函数与程序设计语言函数195

三、一种简单的纯函数式语言196

四、LISP200

五、APL202

六、作用式和命令式语言的比较206

第三节　逻辑程序设计语言207

一、逻辑程序设计207

二、Prolog语言概述209

三、逻辑程序设计展望216

第四节　面向对象程序设计语言217

一、面向对象的基本概念217

二、smalltalk220

三、面向对象语言的评价226

四、小结227

习题228

第九章　形式语义学简介230

第一节　引言230

第二节　形式语义学分类231

第三节　公理语义学简介232

第四节　指称语义学简介235

习题239

参考文献241