エイリアス解析
一般的には、型付けの原則として、同じレコード型を持つ変数のみがエイリアスとなりうるからである。あるレコード型のすべての変数はメモリ内で同一の形式であるから、そのフィールドは自分自身に対してのみエイリアスとなりうる。
同様に、ある型の配列は自身のエイリアスクラスを持つ。
コードに対してエイリアス解析を行う際、メモリへのロードとストアごとにクラスでラベル付けされる必要がある。すると、エイリアスクラス i , j {\displaystyle i,j} を持つ、与えられたメモリ位置 A i {\displaystyle A_{i}} と B j {\displaystyle B_{j}} に対して、 i = j {\displaystyle i=j} であれば A i {\displaystyle A_{i}} は B j {\displaystyle B_{j}} のエイリアスとなる可能性があり、 i ≠ j {\displaystyle i\neq j} であればエイリアスとならない、という有用な特性を得ることができる。