程序分析方法

本书主要内容为：元程序设计、信息流分析、形式概念分析、别名分析、程序分片和部分求值等各种目前主流的程序分析方法。