Effective alias analysis for object oriented languages
Original Publication Date: 2002-Nov-04
Included in the Prior Art Database: 2003-Jun-21
Disclosed is a method for effectively analyzing object variable aliases for object oriented languages. This algorithm has the following four steps: 1. Compiler computes the region (region 1) where each object variable is never aliased after new. 2. Compiler computes the boundary from the region 1 to outside of the region 1 for each object variable. 3. Compiler computes the region (region 2) where the boundary computed by Step 2 has never executed for each object variable.