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

摘要

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