%0 Journal Article
%T Introduction to Partial Evaluation<br>部分计值综述
%A BAI Chao-Feng LIN Lin HUANG Lin-Peng SUN Yong-Qiang
%A <br>拜朝峰
%A 林琳
%A 黄林鹏
%A 孙永强
%J 计算机科学
%D 2004
%I 
%X Partial evaluation is a program transformation technique for specializing programs which finish the computation of programs under some known input as much as possible and produce more efficient residual programs. Partial evaluation has been studied in the context of a wide variety of programming languages and applied to a wide variety of areas that include compiling and compiler generation,computer graphics etc. In this paper,we survey the theory of partial evaluation and some application,and introduce the state of the study of partial evaluation of Java. We also describe our research work DJmix.a distributed partial evaluation of Java.
%K Partial evaluation
%K Java<br>程序转换
%K 程序设计语言
%K 部分计值系统
%K Java语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F8ED3947984BDA99&yid=D0E58B75BFD8E51C&vid=4AD960B5AD2D111A&iid=E158A972A605785F&sid=D5C9DC4EF2F78008&eid=31611641D4BB139F&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=7