| 陆卫东,金成植.高阶函数式语言的部分求值器.软件学报,1996,7(10):634-640 |
| 高阶函数式语言的部分求值器 |
| THE PARTIAL EVALUATOR FOR HIGH ORDER FUNCTIONAL LANGUAGE |
| 修订日期：1995-08-14 |
| DOI： |
| 中文关键词: 部分求值 高阶函数 抽象分析 |
| 英文关键词:Partial evaluator high order function abstract analysis. |
| 基金项目: |
|
| 摘要点击次数: 2878 |
| 全文下载次数: 3238 |
| 中文摘要: |
| 本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法，对表达式中的高阶值采取了有效的抽象分析手段，从而提高了剩余程序的质量．文中给出了ＣＬＯ－ＳＵＲＥ分析、抽象分析、标记和例化较完整的形式描述. |
| 英文摘要: |
| 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. |
|
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
