摘 要：随着计算机技术的不断进步和发展，Java语言程序凭借着自身的优势得到了广泛的应用，并取得了显著的成效。同时为了推动Java语言程序在计算机技术的作用，需要提高其精度，这就需要借助一定的对象别名分析技术。本文笔者对对象别名分析技术进行了分析和探讨，主要是为提高求值的深度，同时为实现Java语言程序中部分求值器的绑定时间分析的实现，进而为Java语言程序的应用提供指导和借鉴。

关键词：Java语言程序；扩展对象别名分析；绑定时间分析；部分求值

中图分类号：TP311 文献标识码：A 文章编号：1007-9599 （2013） 04-0000-02

计算机技术的发展推动了硬件速度的提高，同时也对软件的设计提出了更高的要求，Java语言程序是一种面向对象程序设计语言的软件程序，具有良好的性能，同时为了充分的发挥其作用，需要借助部分求值技术，提高计算的准确定和精度。为了满足程序发展的需要，利用对象类例化模式成为一种有效的途径，大大地提高了对绑定时间分析的准确性，对多数的单线程Java语言程序进行了有效的分析，实现了高精度的部分求值。

1 Java语言程序的绑定时间分析

在Java语言程序的应用中，需要进行部分求值，但是在求值的过程中会受到一定的限制因素的影响，这主要是在预处理阶段无法对程序执行中的每一个对象实例的绑定时间进行跟踪，这就需要借助近似描述的方法。在原先的绑定时间分析中，将同类对象的成员变量进行标注，忽视了不同对象的成员变量问题，同时还忽视了父类实例和子类实例的区别，这就对绑定时间的分析精度造成了一定的影响，这一方法被称为对象类的单变异例化方式。……