基于信息流分析的部分求值技术  

THE PARTIAL EVALUATION TECHNIQUE BASED ON INFORMATION FLOW ANALYSIS

作　　者：刘磊[1] 郑红军[1] 金成植[1] 

机构地区：[1]吉林大学计算机科学系,北京大学计算机科学技术系

出　　处：《软件学报》1995年第8期509-513,共5页Journal of Software

摘　　要：循环展开是过程式语言部分求值中的难题之一．本文提出一种基于信息流分析的部分求值技术，解决了部分求值中循环展开问题．本文利用这一技术，实现了一个过程式语言的部分求值器．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.

关 键 词：部分求值 信息流分析 程序优化 软件自动生成 

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