###
DOI:
:1996.7(5):306-313

函数式语言的部分求值技术
宋立彤,金成植
(吉林大学计算机科学系,长春,130023)
THE PARTIAL EVALUATION TECHNIQUE OF A FUNCTIONAL LANGUAGE
Song Litong,Jin Chengzhi
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2715   Download 2785
    Revised:February 20, 1995
> 中文摘要: 本文基于抽象解释技术设计并实现了一函数式语言部分求值器FMIX.FMIX在设计方法和实现策略上具有一定独到之处,系统运行效率较高.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

宋立彤,金成植.函数式语言的部分求值技术.软件学报,1996,7(5):306-313

Song Litong,Jin Chengzhi.THE PARTIAL EVALUATION TECHNIQUE OF A FUNCTIONAL LANGUAGE.Journal of Software,1996,7(5):306-313