【作者】 张小飞；

【导师】 廖湖声；

【作者基本信息】 北京工业大学 ， 计算机软件与理论， 2001， 硕士

【摘要】 部分求值是一种程序转换技术，它的目的是根据部分输入来例化一个程序。作为程序优化方法的部分求值技术，通过程序变换把一个具有一般计算功能的程序系统变成为一个专用的程序系统，提高了程序的执行效率。部分求值技术中一个关键环节就是绑定时间分析（BTA），BTA的主要目的是在给定的输入条件（已知输入参数的动静态划分）下，把程序结构（变量，表达式，语句，函数）划分为例化时间已知和运行时间已知，也就是根据程序输入变量的动静态划分决定程序中其余变量和表达式的动静态划分，判断哪些表达式可以在部分求值时间求值，哪些在程序运行时求值。绑定时间分析进行的越精确，部分求值的效果就越好，所以说绑定时间分析在很大程度上影响了部分求值的整体效率。 本文主要介绍了针对Java语言中的部分语句、表达式和数组类型变量的BTA方面的分析、设计和实现，接着完成了标注程序的生成。最后，通过编写数个有代表性的测试程序例，主要测试了循环、条件语句以及数组变量的BTA结果以及标注程序的生成。更多还原

【Abstract】 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.更多还原