%0 Journal Article
%T THE PARTIAL EVALUATOR FOR HIGH ORDER FUNCTIONAL LANGUAGE<br>高阶函数式语言的部分求值器
%A Lu Weidong
%A Jin Chengzhi
%A <br>陆卫东
%A 金成植
%J 软件学报
%D 1996
%I 
%X 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.
%K Partial evaluator
%K high order function
%K abstract analysis<br>部分求值
%K 抽象分析
%K 高阶函数式语言
%K 部分求值器
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=5531F3D39938FA3550CD4C7C0E2CAF8F&yid=8A15F8B0AA0E5323&vid=DF92D298D3FF1E6E&iid=F3090AE9B60B7ED1&sid=20ED669EB429E15C&eid=DB7B2C790D19BE6E&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=0