发明名称 TYPE MERGING TECHNIQUE TO REDUCE CLASS LOADING DURING JAVA VERFICATION
摘要 An apparatus, process, and computer program product to merge types in an object-oriented program is disclosed herein. In one embodiment, a process may include analyzing a method within an object-oriented program to identify merge candidates. These merge candidates may then be recorded in a merge candidate list. The process may further include identifying at least two code paths in the method that merge into a single code path and that operate on different types. The types in these code paths may then be merged to a nearest common superclass listed in the merge candidate list. In selected embodiments, the types may be merged to the java.lang.Object class in the event the merge candidate list is empty.
申请公布号 US2010138819(A1) 申请公布日期 2010.06.03
申请号 US20080325147 申请日期 2008.11.29
申请人 INTERNATIONAL BUSINESS MACHINES CORPORATION 发明人 BURKA PETER WIEBE;BOTTOMLEY THOMAS MARK WALTER
分类号 G06F9/45 主分类号 G06F9/45
代理机构 代理人
主权项
地址