简介
程序分析技术上以程序为处理对象，按需求对其进行各种分析的方法，在程序理解，程序测试，程序优化和程序重构等方面有着重要的应用。本书把当前常用的程序分析方法和作者的科研成果相结合，着重介绍了元程序设计，信息流分析、形式概念分析，别名分析，程序分片和部分求值等内容。本书可作为计算机本科生，研究生教材，或计算机专业高年级选修课教材，也可作为计算机研与开发人员的参考书。
目录
前言
第1章 程序设计语言
1.1 程序设计语言的四个发展创段
1.2 高级语言
1.3 未来的语言
第2章 元程序设计
2.1 元程序介绍
2.2 元程序设计系统
2.3 元程序设计的实际应用
第3章 信息流分析
3.1 控制流分析
3.2 数据流分析技术
3.3 一种信息流分析技术
第4章 别名分析
4.1 C语言的别名采集器
4.2 C语言的别名播器
4.3 面向Java 的实用别名分析技术
4.4 小结
第5章 程序分片
5.1 程序分片介绍
5.2 静态分片
5.3 过程间的程序分片
5.4 动态分片
5.5 条件分片
第6章 形式概念分析
6.1 形式概念分析的产生与发展
6.2 FCA的基本概念
6.3 概念格在软件工程中的应用
6.4 概念格在数据控掘中的应用
第7章 部分求值技术
7.1 基本原理
7.2 几种部分求值技术的价值
7.3 Futamura投影定理
7.4 程序点例化技术
参考文献
第1章 程序设计语言
1.1 程序设计语言的四个发展创段
1.2 高级语言
1.3 未来的语言
第2章 元程序设计
2.1 元程序介绍
2.2 元程序设计系统
2.3 元程序设计的实际应用
第3章 信息流分析
3.1 控制流分析
3.2 数据流分析技术
3.3 一种信息流分析技术
第4章 别名分析
4.1 C语言的别名采集器
4.2 C语言的别名播器
4.3 面向Java 的实用别名分析技术
4.4 小结
第5章 程序分片
5.1 程序分片介绍
5.2 静态分片
5.3 过程间的程序分片
5.4 动态分片
5.5 条件分片
第6章 形式概念分析
6.1 形式概念分析的产生与发展
6.2 FCA的基本概念
6.3 概念格在软件工程中的应用
6.4 概念格在数据控掘中的应用
第7章 部分求值技术
7.1 基本原理
7.2 几种部分求值技术的价值
7.3 Futamura投影定理
7.4 程序点例化技术
参考文献
程序分析技术
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
