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

摘要：

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

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

所属期刊栏目：18

分类号：TP3;TD5

资助基金：国家自然科学基金60173013

在线出版日期：2008-11-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：801-805