%0 Journal Article
%T 高阶函数式语言的部分求值器
%A 金成植
%A 陆卫东
%J -
%D 1996
%X 本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法，对表达式中的高阶值采取了有效的抽象分析手段，从而提高了剩余程序的质量．文中给出了ＣＬＯ－ＳＵＲＥ分析、抽象分析、标记和例化较完整的形式描述
%K 部分求值 高阶函数 抽象分析
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19961008&flag=1