公开(公告)号：CA2746136C

公开(公告)日：2018-05-29

申请号：CA2746136

申请日：2011-07-12

Applicant: IBM CANADA LTD IBM CANADA LIMITEE

Inventor： CUI SHIMIN ,  SILVERA RAUL E

IPC: G06F8/41

Abstract: An illustrative embodiment of a computer-implemented process for managing aliasing constraints, identifies an object to form an identified object, identifies a scope of the identified object to form an identified scope, and assigns a unique value to the identified object within the identified scope. The computer-implemented process further demarcates an entrance to the identified scope, demarcates an exit to the identified scope, optimizes the identified object using a property of the identified scope and associated aliasing information, tracks the identified object state to form tracked state information; and uses the tracked state information to update the identified object.