數據流分析中的Distributive Dataflow Problems

Distributive Data flow Problems 一個數據流問題包括如下幾部分： CFG 數據流值的值域 初始的數據流值 交匯運算（用於將前驅或者後繼節點的值進行「交匯」） 傳輸函數 而Distributive Data flow（可分配數據流問題）問題就是關於交匯運算和傳輸函數的問題，可分配數據流問題有如下等式： 也就是傳輸函數trans在交匯運算U上是可分配的。判斷數據流問題是否

>>阅读原文<<