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