课程简介（程序分析原理） 集中在四种主要程序分析方式上 数据流分析(data flow analysis) 基于约束的分析(constraint based analysis) 抽象解释(abstract interpretation) 类型和结果系统(type and effect system) 对每种方式 一描述主要原理，而不是技术的详细介绍 怎样用到更复杂编程语言的分析课 程 简 介（程序分析原理） • 集中在四种主要程序分析方式上 – 数据流分析(data flow analysis) – 基于约束的分析(constraint based analysis) – 抽象解释(abstract interpretation) – 类型和结果系统(type and effect system) • 对每种方式 – 描述主要原理，而不是技术的详细介绍 – 怎样用到更复杂编程语言的分析