The Undecidability of Aliasing

Ganesan Ramalingam. The Undecidability of Aliasing. ACM Transactions on Programming Languages and Systems, 16(5):1467-1471, 1994. [doi]

Abstract

Abstract is missing.