本书分为六章，其中第一章为概述，第二至五章依次为：数据流分析、基于约束的分析、抽象解释、类型和效果系...
2014.3
本书主要内容为：元程序设计、信息流分析、形式概念分析、别名分析、程序分片和部分求值等各种目前主流的程...
2013.4