图书介绍
高级程序设计语言概论pdf电子书版本下载
- 龚天富，李广星编 著
- 出版社： 成都：电子科技大学出版社
- ISBN：7810162063
- 出版时间：1989
- 标注页数：204页
- 文件大小：12MB
- 文件页数：213页
- 主题词：
PDF下载
下载说明
高级程序设计语言概论PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
目 录 1
第一章 绪论 1
§1.1 引言 1
§1.2 软件开发过程 2
§3.4 变量 3
§1.3 软件开发环境与程序设计语言 3
§1.4 软件设计方法与程序设计语言 4
§1.5 计算机体系结构与程序设计语言 5
§1.6 软件开发过程与程序设计语言 6
1.6.1 程序设计语言与可靠性 6
1.6.2 程序设计语言与可维护性 7
1.6.3 程序设计语言与效率 7
§1.7 程序设计语言发展简介 8
1.7.1 早期的高级语言 8
1.7.2 早期的突破 9
1.7.3 概念的集成 9
1.7.6 Ada和第四代语言 10
1.7.4 再一次突破 10
1.7.5 大量的探索 10
1.7.7 新一代程序设计语言 11
§2.1 抽象的作用 13
第二章 程序设计语言概念抽象 13
§2.2 数据抽象 14
2.2.1 早期程序设计语言的数据抽象 14
2.2.2 自定义类型 14
2.2.3 抽象数据类型的趋向 15
§2.3 控制抽象 16
2.3.1 语句级控制结构的演变 16
2.3.2 用户级控制结构的演变 17
§2.4 程序正确性 20
习 题 22
第三章程序设计语言的结构 24
§3.1 语言的定义 24
3.1.1 语法 24
3.1.2 语义 29
§3.2 语言处理 30
3.4.1 变量的作用域 32
§3.3 约束概念 32
3.4.2 变量的生存期 33
3.4.3 变量的值 33
3.4.4 变量的类型 34
§3.5 程序单位 36
§3.6 程序设计语言运行时结构 37
3.6.1 FORTRAN的结构 37
3.6.2 类ALGOL的结构 41
3.6.3 动态语言的结构 48
§3.7 参数传递 49
3.7.1 数据参数 49
3.7.2 子程序参数 51
§3.8 语言实现和语言定义 54
习 题 56
第四章 数据类型 59
§4.1 内部类型 59
§4.2 数据聚集 60
4.2.1 笛卡尔乘积 60
4.2.3 序列 61
4.2.2 有限映象 61
4.2.4 递归 62
4.2.5 判定或 62
4.2.6 幂集 63
§4.3 用户定义类型 63
4.3.1 ALGOL68类型结构 64
4.3.2 Pascal类型结构 70
4.3.3 Ada类型结构 76
4.4.1 静态和动态类型检查 82
§4.4 类型评价 82
4.4.2 类型转换 83
4.4.3 类型兼容性 84
4.4.4 指针问题 85
§4.5 抽象数据类型 88
4.5.1 SIMULA67的类机制 88
4.5.2 现代语言的抽象数据类型 92
§4.6 实现模型 98
4.6.1 内部类型和用户定义的非结构类型 98
4.6.2 结构类型 99
4.6.3 类和抽象数据类型 102
4.6.4 垃圾回收 104
习 题 105
第五章 控制结构 107
§5.1 语句级控制结构 107
5.1.1 顺序 107
5.1.2 选择 107
5.1.3 重复 110
5.1.4 语句级控制结构的评价 112
5.1.5 用户定义控制结构 114
5.1.6重复构造实现模型 115
§5.2 单位级控制结构 116
5.2.1 显式调用从属单位 117
5.2.2 隐式调用单位 122
5.2.3 对称单位：SIMULA67协同程序 125
5.2.4 并发单位 127
习 题 136
6.2.1 一个命令式程序 138
§6.2命令式语言的性质 138
§6.1引言 138
第六章 函数式程序设计 138
6.2.2 命令式语言存在的问题 139
§6.3 函数式程序设计基础 141
6.3.1 函数 141
6.3.2 数学函数与程序设计语言函数 142
6.3.3 函数式（作用式）语言 143
§6.4 一种简单的纯函数式语言 143
6.4.1 原语函数 143
6.4.2 函数型 144
§6.5 其它语言的作用式属性 147
6.5.1 LISP 147
6.5.2 APL 152
§6.6 作用式和命令式语言的比较 155
习题 156
第七章逻辑程序设计 158
§7.1 说明与实现 158
§7.2 非过程式语言实例 160
7.2.1 数据库语言 160
7.2.3 SN OB OL4 161
7.2.2 SETL 161
§7.3 PROLOG概述 163
7.3.1 事实、规则和问题 163
7.3.2 合一与回溯 165
7.3.3 通用数据结构 168
7.3.4 PROLOG应用 170
§7.4 PROLOG与SNOBOL4 170
§7.5 逻辑程序设计展望 171
习题 171
§8.2 面向对象的基本概念 173
8.2.1 数据过程与对象消息 173
第八章面向对象程序设计 173
§8.1 引言 173
8.2.2 对象和类 174
8.2.3 面向对象程序设计的基本性质 174
8.2.4 数据结构 175
§8.3Smalltalk 176
8.3.1 对象 177
8.3.2 消息 177
8.3.3 方法 178
8.3.4 类 179
8.3.5 控制结构 179
8.3.6 类与抽象数据类型的比较 180
8.3.7 继承和子类 181
8.3.8 设计原则 183
§8.4 C++ 184
8.4.1 C和C++程序示例 184
8.4.2 数据隐蔽 185
8.4.3 数据抽象 185
8.4.4 继承与动态约束 188
§8.5 小结 190
习题 190
第九章形式语义学简介 192
§9.1 引言 192
§9.2 形式语义学分类 193
§9.3 公理语义学简述 194
§9.4指称语义学简述 198
习题 202
参考文献 203