The undecidability of aliasing (1997)

by G Ramalingam
Venue:TOPLAS