过程式语言部分求值循环展开的有效处理方法

AN EFFICIENT METHOD OF UNFOLDING LOOP FOR IMPERATIVE LANGUAGE PARTIAL COMPUTATION

文中基于数据流分析（ＤＦＡ）技术，通过引进循环中变量之间的相互依赖关系，提出一种过程式语言部分求值的处理方法．

The unfolding problem of loop has always been a difficult problem in the partial computation of imperative languages. In this paper, by making use of data flow analysis technique(DFA), and by introducing a dependency relationship between the variables in a program, an efficient method of unfolding loop for imperative language partial evaluation is presented, and this method can solve the problem very well.