论文部分内容阅读
为了提高Java语言自动程序例化实现中的绑定时间分析的精度,提出了一种对象别名分析技术。该技术通过对Java程序中各种类与方法之间引用类型变量的跟踪分析,生成一种对象类例化模型,来描述不同对象在多分派的消息响应中的绑定时间特性,以及对象成员等复杂数据结构的绑定时间特性。这种多变异方式的例化策略可提高对象类及其成员函数的部分求值深度,已经用于Java程序部分求值器中绑定时间分析的实现。