THE PARTIAL EVALUATION TECHNIQUE BASED ON INFORMATION FLOW ANALYSIS
基于信息流分析的部分求值技术

The loop unfolding is one of difficult problems in the procedural language partial evaluation. A partial evaluation technique based on information analysis that solves the problem is presented in this paper.It has implemented a partial evaluator using this technique.