%0 Journal Article
%T 基于信息流分析的部分求值技术
%A 刘磊
%A 郑红军
%A 金成植
%J -
%D 1995
%X 循环展开是过程式语言部分求值中的难题之一．本文提出一种基于信息流分析的部分求值技术，解决了部分求值中循环展开问题．本文利用这一技术，实现了一个过程式语言的部分求值器
%K 部分求值
%K 信息流分析
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19950810&flag=1