一种全局数据流分析的新方法  

A NEW METHOD FOR GENERAL-PURPOSE GLOBAL DATA-FLOW ANALYSIS

作　　者：罗昕[1] 郭福顺[1] 王晓丽[2] 

机构地区：[1]哈尔滨工业大学计算机科学系,150006 [2]哈尔滨铁路局成人中等专业学校微机室

出　　处：《小型微型计算机系统》1993年第6期50-56,共7页Journal of Chinese Computer Systems

基　　金：国家教委博士点基金;航天基金

摘　　要：本文提出了一种通用的全局数据流分析新方法及相应的算法,并给出了该算法的时间复杂性分析及其正确性证明。与[6]相比,本文提出的算法无须构造颇费时空的包扎多图,且其时间复杂性是线性的。This paper puts forward a new method and a corresponding algorithm used for a general - purpose global data -flow analysis, and gives the time complexity analysis and the correctness proof of the algorithm. Compared with the literature [6], the algorithm in this paper needs not to construct the binding multi - graph which consumes both time and space, and its time complexity is linear.

关 键 词：数据流分析 相关性分析 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]