摘要
数据流分析是一项编译时使用的技术,它能从程序代码中收集程序的语义信息,并通过代数的方法在编译时确定变量的定义和使用。该文对数据流、数据流框架及数据流算法进行了阐述;并简要地介绍了所提出的需求过程间数据流分析的方法。
Data flow analysis is a compile-time technique.It can collect semantic information from the text of the program,and determine the definition and use variables by algebraic methods.In this paper,the data flow,data flow framework and algorithms of data flow analysis are discussed;the idea of demand interprocedural data flow analysis is also presented.
出处
《计算机工程与应用》
CSCD
北大核心
2003年第13期142-144,共3页
Computer Engineering and Applications
基金
电子预研基金资助(编号:51406070101DZ0151)
关键词
数据流分析
数据流框架
需求过程间数据流分析
data flow analysis,data flow framework,demand interprocedural data flow analysis
