The Binding-time Analysis Of Java Program

Partial Evaluation is a program transformation technique aimed at specializing a program with respect to some part of its input. As a method of optimizing programs,Partial Evaluation technology can transform a general program into a specialized one solving a particular problem, which can improve the efficiency of the program distinctly. Binding--Time Analysis(BTA) is one important phase of Partial Evaluation. The aim of binding-time analysis is to classify constructs (variables,expressions,statements,methods) as either compile-time or run-time ,given an initial division of the input. The preciser the BTA is,the better the result of the Partial Evaluation is.So it is apparent that the whole efficiency of Partial Evaluation depends largely on binding-time analysis.This thesis presents the analysis,design and realization of the binding-time analysis of part of statements,expressions and array type variable for Java, and the producing of annotated program which represent the result of binding-time analysis.At last,we give some representitive program examples to test our work of binding-time analysis and producing the annotated program.