作者	刘磊
出版社
出版时间	2005-08-01

特色：

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