第2章數(shù)據(jù)流分析-文庫吧資料
2025-07-26 09:15本頁面
【正文】 礎(chǔ) 第 2章 數(shù)據(jù)流分析 ? 數(shù)據(jù)流分析的正確性 數(shù)據(jù)流分析所得結(jié)論同程序運行時的情況一致 – 需要定義機器模型和操作語義，證明所得結(jié)論對操作語義可靠 – 由于數(shù)據(jù)流分析收集的信息同基本塊和控制流有關(guān)，通常和變量值無關(guān)，因此不同于一般的可靠性證明，例如 Hoare邏輯的賦值公理是可靠的 {x = 1} x := x + 1 {x = 2} 活躍變量分析 ? 活躍變量分析的正確性 – 需要將該正確性概念形式地表達出來 – 在活躍變量的初值相同的不同格局下 ?S, ?1? 和?S, ?2?執(zhí)行程序 S的結(jié)果應該是一樣的 – 再細化一下，程序每執(zhí)行一步，得到的不同格局 ?S?, ?1? ? 和 ?S?, ?2? ?中，活躍變量的值都相同 第 2章 數(shù)據(jù)流分析 ? 數(shù)據(jù)流分析的基礎(chǔ) 把各種數(shù)據(jù)流模式作為一個整體來抽象地研究，然后可以形式地回答數(shù)據(jù)流算法的下列幾個基本問題： – 在什么情況下數(shù)據(jù)流分析中使用的迭代算法是正確的？ – 該迭代算法所得解的精度如何？ – 該迭代算法是否收斂？ – 數(shù)據(jù)流方程的解的含義是什么？ 第 2章 數(shù)據(jù)流分析 ? 為一類數(shù)據(jù)
黨政相關(guān)相關(guān)推薦
鄂ICP備17016276號-1