%0 Journal Article
%T 基于活跃变量分析的流图语言的部分求值器
%A 金成植
%A 陆卫东
%J -
%D 1997
%X 本文描述了流图语言的自应用型静态部分求值器，它由活跃变量分析、抽象分析、标记和例化４部分组成．在活跃变量分析基础上再作抽象分析，比以往的抽象分析获得的抽象解释更精确，也更利于产生较高质量的剩余程序．转移压缩在例化中直接进行
%K 活跃变量分析 抽象分析 部分求值
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19970105&flag=1