第3章控制流分析(已修改)
2024-10-27 13:42 本頁(yè)面
【正文】 第 3章 控制流分析 ? 內(nèi)容概述 – 定義一個(gè)函數(shù)式編程語言，變量可以指稱函數(shù) – 以 dynamic dispatch problem為例（作為參數(shù)的函數(shù)被調(diào)用時(shí)，究竟執(zhí)行的是哪個(gè)函數(shù)） – 規(guī)范該控制流分析問題，定義什么是可接受的控制流分析 – 定義可接受分析在語義模型上的可靠性 – 討論分析算法（語法制導(dǎo)、集合約束求解） – 加上數(shù)據(jù)流分析 – 加上上下文信息 第 3章 控制流分析 ? 函數(shù)的不動(dòng)點(diǎn) – 若 f(x) = x，則 x是函數(shù) f 的不動(dòng)點(diǎn) – 求解含函數(shù)變量 f 的方程 f = ?n. if n=0 then 1 else n ? f(n ? 1) end – 看成找下面函數(shù)的不動(dòng)點(diǎn) F ? ? f. ?n. if n=0 then 1 else n ? f(n ? 1) end F(階乘函數(shù) ) = 階乘函數(shù) – 該函數(shù)只有唯一的不動(dòng)點(diǎn) 階乘函數(shù) 第 3章 控制流分析 ? 函數(shù)的最小不動(dòng)點(diǎn) – 求解含函數(shù)變量 f 的方程 f = ?n. if n=0 then 1 else if n = 1 then f(3) else f(n ? 2) end – 相應(yīng)高階函數(shù)有無數(shù)個(gè)不動(dòng)點(diǎn) 當(dāng) n是偶數(shù)時(shí)，結(jié)果是 1 當(dāng) n是奇數(shù)時(shí)，結(jié)果是 a （ a可以任取 ） – 最小不動(dòng)點(diǎn) n為偶數(shù)時(shí) , 結(jié)果是 1。 n為奇數(shù)時(shí) , 結(jié)果未定義 第 3章 控制流分析 ? 函數(shù)最小不動(dòng)點(diǎn)的計(jì)算 – 例： F ? ? f. ?n. if n=0 then 1 else n ? f(n ? 1) end – lfp(F) = ? Fn
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1