A fine-grained data-flow analysis framework (L, F) where the elements of the semilattice L are mappings from a set of items I to a semilattice of values V is introduced, and an algorithm is presented to solve this framework by considering the elements of I and V individually, rather than regarding the element of L as atomic values. It is shown that a variety of useful data-flow problems fit into the fine-grained data-flow analysis framework, and can be solved in O(|I|×|N|) time.
展开▼
机译：引入了一种细粒度的数据流分析框架（L，F），其中半格L的元素是从一组项I到值V的半格的映射，并且提出了一种算法来考虑该问题来解决该框架I和V的元素分别，而不是将L的元素视为原子值。结果表明，各种有用的数据流问题都适用于细粒度的数据流分析框架，并且可以在O（| I | x | N |）时间内解决。
展开▼
