非可分框架的数据流分析复杂性
摘要：逐个轮流的方法的程序内数据流分析的复杂性是通过对控制流图的迭代次数来衡量的。现有的复杂性界限仅能够合理地解释分离的位向量框架的复杂性。在本文中，我们通过使用实体依赖图来量化程序实体的数据流信息之间的相互依赖关系，为非分离框架定义了复杂性界限。
作者：Bageshri Karkare (Sathe) and Uday Khedker
论文ID：cs/0610164
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23