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