第3章控制流分析-wenkub.com
2024-10-07 13:42 本頁面
【正文】 S2, ??? ?S1, ?? ? ?? ?S1。 (2)若 a?A且 x?A?, 則 ax?A? 。第 3章 控制流分析 ? 內容概述 – 定義一個函數(shù)式編程語言，變量可以指稱函數(shù) – 以 dynamic dispatch problem為例（作為參數(shù)的函數(shù)被調用時，究竟執(zhí)行的是哪個函數(shù)） – 規(guī)范該控制流分析問題，定義什么是可接受的控制流分析 – 定義可接受分析在語義模型上的可靠性 – 討論分析算法（語法制導、集合約束求解） – 加上數(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ù) ) = 階乘函數(shù) – 該函數(shù)只有唯一的不動點 階乘函數(shù) 第 3章 控制流分析 ? 函數(shù)的最小不動點 – 求解含函數(shù)變量 f 的方程 f = ?n. if n=0 then 1 else if n = 1 then f(3) else f(n ? 2) end – 相應高階函數(shù)有無數(shù)個不動點 當 n是偶數(shù)時，結果是 1 當 n是奇數(shù)時，結果是 a （ a可以任取 ） – 最小不動點 n為偶數(shù)時 , 結果是 1。(3)除此以外， A?不含其它元素 余歸納法 – 迭代規(guī)則 (循環(huán)條件 )，最大化條件 – 流可
教學課件相關推薦
鄂ICP備17016276號-1