第3章控制流分析-展示頁
2024-10-23 13:42本頁面
【正文】 ?i Xi)，即 ?i Xi是 F致密的 第 3章 控制流分析 ? Tarski定理 再證明本定理（仍只 證明 一種情況 ）： ?(X)是 F的最小不動點 ?(X)是 F的最大不動點 – 令 ? = ?(X)，則 ?是 致密的， ? ? F(?) – 由單調(diào)性， F(?) ? F(F(?))，則 F(?)也致密 – 由 ?的定義知道 F(?) ? ? – 由 ?和 F(?)之間的這兩個不等式得 ? = F(?) – 不動點都是致密的，因而都包含在 ?中，所以 ?是最大不動點 第 3章 控制流分析 ? 歸納和余歸納 (coinduction) 歸納法 – 初始條件、迭代規(guī)則、最小化條件 – 字母表 A上的串集 A?歸納定義如下 (1) ??A?。第 3章 控制流分析 ? 內(nèi)容概述 – 定義一個函數(shù)式編程語言，變量可以指稱函數(shù) – 以 dynamic dispatch problem為例（作為參數(shù)的函數(shù)被調(diào)用時，究竟執(zhí)行的是哪個函數(shù)） – 規(guī)范該控制流分析問題，定義什么是可接受的控制流分析 – 定義可接受分析在語義模型上的可靠性 – 討論分析算法（語法制導(dǎo)、集合約束求解） – 加上數(shù)據(jù)流分析 – 加上上下文信息 第 3章 控制流分析 ? 函數(shù)的不動點 – 若 f(x) = x，則 x是函數(shù) f 的不動點 – 求解含函數(shù)變量 f 的方程 f = ?n. if n=0 then 1 else n ? f(n ? 1) end – 看成找下面函數(shù)的不動點 F ? ? f. ?n. if n=0 then 1 else n ? f(n ? 1) end F(階乘函數(shù)
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1