图书介绍
程序设计语言原理pdf电子书版本下载
- 招兆铿,朱洪编著 著
- 出版社: 上海:上海科学技术文献出版社
- ISBN:7543911027
- 出版时间:1998
- 标注页数:496页
- 文件大小:14MB
- 文件页数:511页
- 主题词:
PDF下载
下载说明
程序设计语言原理PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!
(文件页数 要大于 标注页数,上中下等多册电子书除外)
注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具
图书目录
第一章程 序设计语言的概念 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 上下文无关语法和BNF 48
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 Smalltalk 324
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