程序设计语言 设计与实现 第4版【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

程序设计语言 设计与实现 第4版PDF格式电子书版下载

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

第1章 程序语言设计问题1

1.1 为什么学习程序语言1

1.2 程序语言简史2

1.2.1 早期语言的发展3

1.2.2 软件结构的演化5

1.2.3 应用领域9

1.3 程序语言的角色11

1.3.1 如何构成一种好语言13

1.3.2 语言范例17

1.3.3 语言标准20

1.3.4 国际化22

1.4 编程环境23

1.4.1 对语言设计的影响23

1.4.2 环境框架25

1.4.3 作业控制与过程语言25

1.5 C简介26

1.6 进一步阅读的建议28

1.7 习题28

第2章 机器体系结构对语言的影响30

2.1 计算机的操作30

2.1.1 计算机的硬件结构30

2.1.2 固件计算机34

2.1.3 翻译器和软件模拟计算机35

2.2 虚拟计算机和绑定时间37

2.2.1 虚拟计算机和语言实现38

2.2.2 虚拟机的层次38

2.2.3 绑定和绑定时间40

2.2.4 Java概览42

2.3 进一步阅读的建议44

2.4 习题44

第3章 语言翻译问题46

3.1 编程语言语法46

3.1.1 通用语法标准46

3.1.2 语言的语法要素49

3.1.3 主程序-子程序结构51

3.2 翻译的步骤53

3.2.1 源程序的分析54

3.2.2 目标程序的综合56

3.3 形式编译模式58

3.3.1 BNF文法59

3.3.2 有限状态自动机65

3.3.3 Perl概述69

3.3.4 下推自动机71

3.3.5 常规的语法分析策略72

3.4 递归下降语法分析73

3.5 Pascal概述74

3.6 进一步阅读的建议76

3.7 习题76

第4章 建立语言属性的模型79

4.1 语言的形式性质79

4.1.1 Chomsky层次文法80

4.1.2 不可判定性82

4.1.3 算法复杂性86

4.2 语言的语义88

4.2.1 属性文法89

4.2.2 指称语义91

4.2.3 ML概述97

4.2.4 程序验证98

4.2.5 代数数据类型101

4.3 进一步阅读的建议104

4.4 习题104

第5章 基本数据类型107

5.1 类型和对象的属性107

5.1.1 数据对象、变量和常量107

5.1.2 数据类型110

5.1.3 声明114

5.1.4 类型检查和类型转换115

5.1.5 赋值和初始化119

5.2 标量数据类型121

5.2.1 数字数据类型121

5.2.2 枚举类型126

5.2.3 布尔类型127

5.2.4 字符型128

5.3 复合数据类型129

5.3.1 字符串129

5.3.2 指针和程序员构造的数据对象131

5.3.3 文件和输入输出133

5.4 FORTRAN概述136

5.5 进一步阅读的建议137

5.6 习题138

第6章 封装141

6.1 结构化数据类型142

6.1.1 结构化数据对象和数据类型142

6.1.2 数据结构类型规范142

6.1.3 数据结构类型的实现144

6.1.4 数据结构的声明和类型检查146

6.1.5 向量和数组147

6.1.6 记录155

6.1.7 列表160

6.1.8 集合163

6.1.9 可执行数据对象165

6.2 抽象的数据类型166

6.2.1 数据类型概念的发展166

6.2.2 信息隐藏167

6.3 通过子程序实现封装168

6.3.1 作为抽象操作的子程序168

6.3.2 子程序定义和调用170

6.3.3 作为数据对象的子程序定义174

6.4 类型定义175

6.4.1 类型相同176

6.4.2 带有参数的类型定义179

6.5 C++概述181

6.6 进一步阅读的建议182

6.7 习题183

第7章 继承188

7.1 再论抽象数据类型188

7.2 继承194

7.2.1 派生类194

7.2.2 方法197

7.2.3 抽象类199

7.2.4 Smalltalk概述200

7.2.5 对象和消息201

7.2.6 有关抽象的概念205

7.3 多态206

7.4 进一步阅读的建议208

7.5 习题208

第8章 顺序控制210

8.1 隐式的和显式的顺序控制210

8.2 表达式中的顺序210

8.2.1 树结构表示211

8.2.2 执行时的表示217

8.3 语句之间的顺序控制220

8.3.1 基本语句220

8.3.2 结构化的顺序控制224

8.3.3 基本程序231

8.4 非算术表达式的顺序化234

8.4.1 Prolog简介234

8.4.2 模式匹配236

8.4.3 合一239

8.4.4 回溯243

8.4.5 归结244

8.5 进一步阅读的建议245

8.6 习题245

第9章 子程序控制248

9.1 子程序顺序控制248

9.1.1 简单的Call-Return子程序249

9.1.2 递归子程序254

9.1.3 Pascal的forward声明254

9.2 数据控制的属性256

9.2.1 命名和引用环境257

9.2.2 静态和动态作用域260

9.2.3 块结构262

9.2.4 局部数据和局部引用环境264

9.3 参数传递267

9.3.1 实际和形式参数268

9.3.2 参数传递的方法269

9.3.3 参数传递语义272

9.3.4 参数传递的实现272

9.4 显式共同环境280

9.4.1 动态域282

9.4.2 静态域和块结构284

9.5 参考资料290

9.6 习题290

第10章 存储管理295

10.1 需要存储的元素295

10.2 程序员和系统控制的存储管理296

10.3 静态的存储管理297

10.4 堆的存储管理298

10.4.1 LISP概况298

10.4.2 固定大小的单元300

10.4.3 可变长的单元305

10.5 进一步阅读的建议308

10.6 习题308

第11章 分布式处理311

11.1 子程序控制的变体311

11.1.1 异常和异常处理程序311

11.1.2 协同程序315

11.1.3 子程序调度316

11.2 并行程序设计317

11.2.1 并发运行318

11.2.2 保护命令319

11.2.3 Ada简介321

11.2.4 任务323

11.2.5 任务的同步324

11.3 硬件的发展333

11.3.1 处理器设计333

11.3.2 系统设计335

11.4 软件体系结构337

11.4.1 持久性数据和事务系统337

11.4.2 网络和客户-服务器计算338

11.5 进一步阅读的建议340

11.6 习题340

第12章 网络程序设计342

12.1 桌面出版343

12.1.1 LATEX文档处理343

12.1.2 WYSIWYG编辑器345

12.1.3 Postscript345

12.1.4 Postscritp虚拟机346

12.2 万维网350

12.2.1 互联网350

12.2.2 CGI脚本358

12.2.3 Java小应用程序360

12.2.4 XML362

12.3 进一步阅读的建议363

12.4 习题363

附录A 语言概要364

A.1 ADA364

A.2 C378

A.3 C++387

A.4 FORTRAN396

A.5 JAVA404

A.6 LISP408

A.7 ML415

A.8 PASCAL425

A.9 PERL433

A.10 Postscript语言436

A.11 Prolog439

A.12 Smalltalk444

A.13 进一步阅读的建议452

参考文献453