第3章控制流分析-文庫吧資料
2024-10-19 13:42本頁面
【正文】 D[p2]) – {t} ? p ? p1 ? p2：條件 {t} ? p成立，則 D[p1]并入 D[p2]中，若 ?(D[p1] ? D[p2]) – P70第 2列， E[C(4)]中的函數(shù)應(yīng)用引起 – P70第 3列， E[r(x)]中，實參是函數(shù)引起 第 3章 控制流分析 ? 該控制流分析的回顧 – 先定義規(guī)范 ? ，是理想解的規(guī)范 – 理解解的討論：最大和最小不動點、歸納和余歸納 – 討論理想解的正確性 – 再定義語法制導(dǎo)的規(guī)范 ?s ，是靜態(tài)分析解的規(guī)范 – 尋找靜態(tài)分析解的辦法 將 ?s轉(zhuǎn)變成一組約束 求解該組約束 。 S2, ?? ? ?S1?。(3)除此以外， A?不含其它元素 余歸納法 – 迭代規(guī)則 (循環(huán)條件 )，最大化條件 – 流可以通過余歸納法來定義 (1) 若 t是 A上的流且 a?A，則 (a,t)也是 A上的流； (2) A上的流集是滿足上述規(guī)則的最大集合 第 3章 控制流分析 ? 大步操作語義 和 小步操作語義 的區(qū)別 – 大步操作語義 – 小步操作語義 ?S1, ?? ? ?1 ?S2, ?1? ? ?2 ?S1。首先證明引理： ?(X) = ? {X | X ? F(X)}是最大 F致密集合 – 最大是明顯的 – 證明 每個 Xi都 F致密，則 ?i Xi也 F致密則可 因為對每個 i有 Xi ? F(Xi)，則 ?i Xi ? ?i F(Xi) 因為 F單調(diào)，則對每個 i有 F(Xi) ? F(?i Xi) 由此可得 ?iF(Xi) ? F(?i Xi) 由傳遞性， ?i Xi ? F(
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1