程序分析原理

剧情简介：该书共分为6章，其中第1章为介绍，第2~5章依次为数据流分析、基于约束的分析、抽象解释、类型和作用系统，第6章为分析算法介绍。该书内容基本囊括了程序分析领域中的经典方法和技术，配以严谨的形式化系统，全书思路清晰、逻辑性强，是不可多得的经典书籍。

外文名：Principles of Program Analysis

作者：Flemming Nielson

出版社：机械工业出版社

ISBN：9787111706885