摘要
本文基于抽象解释技术设计并实现了一函数式语言部分求值器ＦＭＩＸ．ＦＭＩＸ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．
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.
出处
《软件学报》
EI
CSCD
北大核心
1996年第5期306-313,共8页
Journal of Software
关键词
部分求值
抽象分析
函数式语言
程序语言
Partial evaluation, abstract analysis, function specialization, residual program, eliminable parameter, residual parameters.
