%0 Journal Article
%T 函数式语言的部分求值技术
%A 宋立彤？
%A 金成植？
%J 软件学报
%P 306-313
%D 1996
%X 本文基于抽象解释技术设计并实现了一函数式语言部分求值器ｆｍｉｘ．ｆｍｉｘ在设计方法和实现策略上具有一定独到之处，系统运行效率较高．
%K 部分求值
%K 抽象分析
%K 函数例化
%K 剩余程序
%K 可去参数
%K 剩余参数
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19960508&flag=1