图书介绍
程序分析方法pdf电子书版本下载
- 刘磊,张晶,赵健,张鹏编著 著
- 出版社: 北京:机械工业出版社
- ISBN:9787111422525
- 出版时间:2013
- 标注页数:196页
- 文件大小:16MB
- 文件页数:204页
- 主题词:程序分析
PDF下载
下载说明
程序分析方法PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!
(文件页数 要大于 标注页数,上中下等多册电子书除外)
注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具
图书目录
第1章 程序设计语言 1
1.1 程序设计语言发展的四个阶段 1
1.1.1 机器语言 2
1.1.2 汇编语言 3
1.1.3 高级语言 3
1.1.4 第四代语言 6
1.2 程序设计语言的发展趋势 7
小结 8
第2章 元程序设计 9
2.1 元程序介绍 9
2.2 元程序设计系统 12
2.2.1 元程序系统的组成 12
2.2.2 中间表示 12
2.2.3 规则分类和对应的结构 14
2.2.4 元级操作 18
2.2.5 系统的生成 21
2.3 元级系统的实际应用 21
2.3.1 如何构造高效的系统 21
2.3.2 几个元级系统的介绍 22
小结 42
第3章 信息流分析 43
3.1 控制流分析 43
3.1.1 控制流分析实例 43
3.1.2 控制流分析方法 46
3.1.3 程序的结构化转换 55
3.2 数据流分析技术 57
3.2.1 数据流方程定义和活跃变量分析 57
3.2.2 数据流异常的检测 62
3.2.3 常量表达式节省 63
3.2.4 公共子表达式节省 67
3.3 信息流分析技术的应用实例 69
3.3.1 方法描述 70
3.3.2 应用 72
小结 74
第4章 别名分析 75
4.1 指针别名 75
4.1.1 指针别名的产生 75
4.1.2 别名信息的分类 76
4.2 别名信息的表示 79
4.2.1 别名信息的表示介绍 79
4.2.2 别名计算 80
4.3 C语言的别名计算 81
4.3.1 C语言的别名采集器 81
4.3.2 C语言的别名传播器 83
4.4 Java的别名分析 86
4.4.1 Java中的别名问题 86
4.4.2 别名分析算法 87
小结 94
第5章 程序分片 95
5.1 程序分片的基础知识 95
5.1.1 程序分片的基本概念 95
5.1.2 一些常见的程序分片方法 101
5.1.3 程序分片的应用 102
5.2 程序分片方法 104
5.2.1 基于数据流方程求解的过程内分片 105
5.2.2 基于数据流方程求解的过程间分片 106
5.2.3 基于程序依赖图的过程内分片 108
5.2.4 基于系统依赖图的过程间分片 110
5.2.5 动态分片 113
5.2.6 条件分片 122
小结 130
第6章 形式概念分析 131
6.1 FCA和格理论基础介绍 131
6.1.1 偏序集及完全格的基本概念 131
6.1.2 Galois连接 133
6.2 FCA的基本概念 134
6.2.1 上下文 134
6.2.2 概念 135
6.2.3 概念格 137
6.2.4 多值上下文 139
6.2.5 概念格的生成算法 142
6.2.6 生成概念格的工具 145
6.3 概念格在程序分析中的应用 145
6.3.1 概述 146
6.3.2 从源程序中推导配置结构 147
6.3.3 从遗留软件中提取类或模块 149
6.3.4 重构类结构 155
6.3.5 动态分析 162
小结 164
第7章 部分求值技术 165
7.1 部分求值技术基本原理 165
7.1.1 Kleene的s-m-n理论 165
7.1.2 部分求值器的定义 167
7.2 几种部分求值技术的介绍 171
7.2.1 静态部分求值方法 172
7.2.2 动态部分求值技术 175
7.2.3 动静态结合的部分求值技术 180
7.3 Futamura投影定理 185
7.3.1 第一投影定理 185
7.3.2 编译器的生成与第二投影定理 186
7.3.3 第三投影定理 186
7.4 程序点例化技术 188
7.4.1 状态、程序点和分割 188
7.4.2 程序点例化 189
7.4.3 不同语句的代码生成 190
7.4.4 转换压缩 192
7.4.5 正确的分割技巧 193
7.4.6 简单绑定时间分析 194
小结 194
参考文献 195