该文结合部分求值和数据例化,运用一种基于控制流图的例化方法.通过基于控制流图的数据例化和面向程序基本块的部分求值,在例化阶段进行程序基本块例化的同时,完成控制转移的例化,生成既可用于编译时刻例化,又可用于运行时刻例化的滞留程序.这种例化方式采用了离线工作方式,利用绑定时间分析,提高了滞留程序的效率,同时避免了例化阶段代码的复制和拼接,能够有效简化运行时刻例化系统的实现难度.该文实现了一个基于控制流图的Java语言动态例化系统,包括在bta基础上的标注程序解析,控制流图系统的设计实现,编译时刻控制流力瓣自动生成,滞留程序分析,滞留程序的自动生成,滞留程序的字节码优化及生成等内容.这个例化系统扩展了基于分段计算的优化技术的方法和应用范围,同时能够根据一定要求的Java程序的输入描述和输入完成专用环境下的Java程序优化,从而成为一个Java程序的优化工具.