高阶函数式语言的部分求值器

本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法，对表达式中的高阶值采取了有效的抽象分析手段，从而提高了剩余程序的质量．文中给出了ＣＬＯ－ＳＵＲＥ分析、抽象分析、标记和例化较完整的形式描述