THE PARTIAL EVALUATION TECHNIQUE OF A FUNCTIONAL LANGUAGE
函数式语言的部分求值技术

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.