The theory and calculus of aliasing