| 摘要: |
| 本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法，对表达式中的高阶值采取了有效的抽象分析手段，从而提高了剩余程序的质量．文中给出了ＣＬＯ－ＳＵＲＥ分析、抽象分析、标记和例化较完整的形式描述. |
| 关键词: 部分求值 高阶函数 抽象分析 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| THE PARTIAL EVALUATOR FOR HIGH ORDER FUNCTIONAL LANGUAGE |
|
Lu Weidong,Jin Chengzhi
|
| Abstract: |
| This paper develops a new method to construct a partial evaluator for high order functional language. This method is based on the CLOSURE analysis. With the analysis, the authors purpose an efficient binding time analysis so that the quality of the residual code produced by the specializatoin is improved. In this paper, all of the phases in the partial evaluator are described formly. |
| Key words: Partial evaluator high order function abstract analysis. |
