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