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

AN EFFICIENT METHOD OF UNFOLDING LOOP FOR IMPERATIVE LANGUAGE PARTIAL COMPUTATION

作　　者：赵东范[1] 刘磊[1] 宋力彤 

机构地区：[1]长春邮电学院计算机系,长春130012 [2]吉林大学计算机科学系,长春130023

出　　处：《计算机研究与发展》2000年第1期102-108,共7页Journal of Computer Research and Development

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

关 键 词：程序分析 部分求值 过程式语言 循环展开 

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