Partial Evaluation Specification Language And Application Framework For Java

Partial Evaluation is a kind of technology of program optimization,also called program specification.This is a system which transform a general program to a special program,to improve the efficiency of the program.Especially in the situation that needs execute the special program repeatly,the effects will be very notable.Partial evaluation is a valid method to solve the conflict between generalization and specialization.It will judge the property of program input data automatically,and extract the portion which will be executed repeatly in program ,and get same result,so will get a program with a certain extent of specialization to alleviate the conflict.The Java program ,we get after partial evaluation transformation,will receive better efficiency and same execution result.But,the interface between program will change remarkably.In the couse of partial evaluation transformation,partial evaluator will require the information of parameters of original program to judge the state of every variables and expressions in original program,and determine the mode to deal with these variables and expressions.In this thesis, in order to facilitate the application of partial evaluation, we propose forward a partial evaluation specification language for Java and its application framework, moreover, we had implemented a corresponding application interface automatic generation system. For the three application forms in Java (local program, RMI remote invocation program and Applet program), partial evaluation specification language provides self-contained information for the application interface automatic generation system. We also discuss the application models used by application interface in this paper.