%0 Journal Article
%T THE PARTIAL EVALUATION TECHNIQUE OF A FUNCTIONAL LANGUAGE<br>函数式语言的部分求值技术
%A Song Litong
%A Jin Chengzhi
%A <br>宋立彤
%A 金成植
%J 软件学报
%D 1996
%I 
%X 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.
%K Partial evaluation
%K abstract analysis
%K function specialization
%K residual program
%K eliminable parameter
%K residual parameters<br>部分求值
%K 抽象分析
%K 函数例化
%K 剩余程序
%K 可去参数
%K 剩余参数
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=03C8B327004C18A92E906286A3787B52&yid=8A15F8B0AA0E5323&vid=DF92D298D3FF1E6E&iid=94C357A881DFC066&sid=31BCE06A2FD82A16&eid=C2F76551C0111538&journal_id=1000-9825&journal_name=软件学报&referenced_num=3&reference_num=6