###
DOI:
Journal of Software:1996.7(10):634-640

高阶函数式语言的部分求值器
陆卫东,金成植
(吉林大学计算机科学系,长春,130061)
THE PARTIAL EVALUATOR FOR HIGH ORDER FUNCTIONAL LANGUAGE
Lu Weidong,Jin Chengzhi
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2442   Download 2949
    Revised:August 14, 1995
> 中文摘要: 本文提出了一种新的基于CLOSURE分析的高阶函数式语言的部分求值方法,对表达式中的高阶值采取了有效的抽象分析手段,从而提高了剩余程序的质量.文中给出了CLO-SURE分析、抽象分析、标记和例化较完整的形式描述.
中文关键词: 部分求值  高阶函数  抽象分析  
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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

陆卫东,金成植.高阶函数式语言的部分求值器.软件学报,1996,7(10):634-640

Lu Weidong,Jin Chengzhi.THE PARTIAL EVALUATOR FOR HIGH ORDER FUNCTIONAL LANGUAGE.Journal of Software,1996,7(10):634-640