程序分析技术上以程序为处理对象，按需求对其进行各种分析的方法，在程序理解，程序测试，程序优化和程序重构等方面有着重要的应用。本书把当前常用的程序分析方法和作者的科研成果相结合，着重介绍了元程序设计，信息流分析、形式概念分析，别名分析，程序分片和部分求值等内容。本书可作为计算机本科生，研究生教材，或计算机专业高年级选修课教材，也可作为计算机研与开发人员的参考书。

前言<br>第1章 程序设计语言<br>1.1  程序设计语言的四个发展创段<br>1.2  高级语言<br>1.3  未来的语言<br>第2章 元程序设计<br>2.1  元程序介绍<br>2.2  元程序设计系统<br>2.3  元程序设计的实际应用<br>第3章 信息流分析<br>3.1  控制流分析<br>3.2  数据流分析技术<br>3.3  一种信息流分析技术<br>第4章 别名分析<br>4.1  C语言的别名采集器<br>4.2  C语言的别名播器<br>4.3  面向Java 的实用别名分析技术<br>4.4  小结<br>第5章 程序分片<br>5.1  程序分片介绍<br>5.2  静态分片<br>5.3  过程间的程序分片<br>5.4  动态分片<br>5.5  条件分片<br>第6章 形式概念分析<br>6.1  形式概念分析的产生与发展<br>6.2  FCA的基本概念<br>6.3  概念格在软件工程中的应用<br>6.4  概念格在数据控掘中的应用<br>第7章 部分求值技术<br>7.1  基本原理<br>7.2  几种部分求值技术的价值<br>7.3  Futamura投影定理<br>7.4  程序点例化技术<br>参考文献