A technique that determines when two pointer expressions cannot point to the same location, allowing the compiler to freely optimise such expressions.