基于约束的分析补充.pptVIP

中国科大 第3章 控制流分析 内容概述 定义一个函数式编程语言，变量可以指称函数 以dynamic dispatch problem为例（作为参数的函数被调用时，究竟执行的是哪个函数） 规范该控制流分析问题，定义什么是可接受的控制流分析 定义可接受分析在语义模型上的可靠性 讨论分析算法（语法制导、集合约束求解） 加上数据流分析 加上上下文信息 第3章 控制流分析 函数的不动点 若f(x) = x，则x是函数f 的不动点 求解含函数变量f 的方程 f = ?n. if n=0 then 1 else n ? f(n ? 1) end 看成找下面函数的不动点 F ? ? f. ?n. if n=0 then 1 else n ? f(n ? 1) end F(阶乘函数) = 阶乘函数 该函数只有唯一的不动点 阶乘函数 第3章 控制流分析 函数的最小不动点 求解含函数变量f 的方程 f = ?n. if n=0 then 1 else if n = 1 then f(3) else f(n ? 2) end 相应高阶函数有无数个不动点 当n是偶数时，结果是1 当n是奇数时，结果是a （ a可以任取 ） 最小不动点 n为偶数时, 结果是1; n为奇数时, 结果未定义 第3章 控制流分析 函数最小不动点的计算 例：F ? ? f.