The undecidability of aliasing (1994)

by G Ramalingam
Venue:ACM TOPLAS