部分计值综述  

Introduction to Partial Evaluation

作　　者：拜朝峰[1] 林琳[1] 黄林鹏[1] 孙永强[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《计算机科学》2004年第4期163-165,共3页Computer Science

基　　金：863高科技项目(项目编号:2001AA113160)资助

摘　　要：部分计值是一种程序转换技术,在给定程序部分输入的情况下,可使用该技术对程序进行例化,完成程序中尽可能多的计算,最终得到高效的剩余代码。人们已经研究了许多程序设计语言的部分计值系统,并把它们应用到编译和编译器生成、计算机图形学等领域。本文介绍了部分计值理论及其应用,讨论了Java部分计值器的研究现状,并简单描述了本课题组设计的一个Java分布式部分计值系统DJmix。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.

关 键 词：程序转换 程序设计语言 部分计值系统 JAVA语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]