Java语言程序例化中的扩展对象别名分析  

Extended object alias analysis in program specialization of Java programs

作　　者：廖湖声[1] 李博韬[1] 高红雨[1] 

机构地区：[1]北京工业大学计算机学院,北京100022

出　　处：《高技术通讯》2008年第8期801-805,共5页Chinese High Technology Letters

基　　金：国家自然科学基金(60173013)资助项目

摘　　要：为了提高 Java 语言自动程序例化实现中的绑定时间分析的精度,提出了一种对象别名分析技术。该技术通过对 Java 程序中各种类与方法之间引用类型变量的跟踪分析,生成一种对象类例化模型,来描述不同对象在多分派的消息响应中的绑定时间特性,以及对象成员等复杂数据结构的绑定时间特性。这种多变异方式的例化策略可提高对象类及其成员函数的部分求值深度,已经用于 Java 程序部分求值器中绑定时间分析的实现。The paper proposes an extended alias analysis method for improving the binding time analysis （BTA） precision in the implementation of automatic program specialization for Java programs. In the object alias analysis, a class specialization model is generated by tracing uses of reference variables across classes and methods in Java to represent the BTA features of multi-dispatch and complex data structures such as member reference variables. The poly-variant specialization approach can improve accuracy of partial evaluation on Java classes and their methods, and has been applied to implementation of the binding time analysis in a partial evaluator for Java programs.

关 键 词：程序例化 部分求值 别名分析 绑定时间分析 

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