首页 | 本学科首页   官方微博 | 高级检索  
     

函数式语言的部分求值技术
引用本文:宋立彤,金成植.函数式语言的部分求值技术[J].软件学报,1996,7(5):306-313.
作者姓名:宋立彤  金成植
作者单位:吉林大学计算机科学系,长春,130023;吉林大学计算机科学系,长春,130023
摘    要:本文基于抽象解释技术设计并实现了一函数式语言部分求值器FMIX.FMIX在设计方法和实现策略上具有一定独到之处,系统运行效率较高.

关 键 词:部分求值    抽象分析    函数例化    剩余程序    可去参数    剩余参数  
修稿时间:1995/2/20 0:00:00

THE PARTIAL EVALUATION TECHNIQUE OF A FUNCTIONAL LANGUAGE
Song Litong and Jin Chengzhi.THE PARTIAL EVALUATION TECHNIQUE OF A FUNCTIONAL LANGUAGE[J].Journal of Software,1996,7(5):306-313.
Authors:Song Litong and Jin Chengzhi
Affiliation:Department Of Computer Science Jilin University Changchun 130023
Abstract:Based on abstract interpretation technique, this paper designs and realizes a partial evaluator FMIX for a functional language. Compared with other similar partial evaluators of foreign countries, FMIX has its original means on realization, and uses efficient technique on some generally difficult problems.
Keywords:Partial evaluation  abstract analysis  function specialization  residual program  eliminable parameter  residual parameters  
本文献已被 CNKI 维普 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号