第3章 控制流分析 内容概述 -定义一个函数式编程语言，变量可以指称函数 以dynamic dispatch problemi为例（作为参数的 函数被调用时，究竟执行的是哪个函数) 规范该控制流分析问题，定义什么是可接受的控 制流分析 -定义可接受分析在语义模型上的可靠性 一讨论分析算法（语法制导、集合约束求解） -加上数据流分析 -加上上下文信息第3章 控制流分析 • 内容概述 – 定义一个函数式编程语言，变量可以指称函数 – 以dynamic dispatch problem为例（作为参数的 函数被调用时，究竟执行的是哪个函数） – 规范该控制流分析问题，定义什么是可接受的控 制流分析 – 定义可接受分析在语义模型上的可靠性 – 讨论分析算法（语法制导、集合约束求解） – 加上数据流分析 – 加上上下文信息