Naftaly H. Minsky. Towards Alias-Free Pointers. In Pierre Cointe, editor, ECOOP 96 - Object-Oriented Programming, 10th European Conference, Linz, Austria, July 8-12, 1996, Proceedings. Volume 1098 of Lecture Notes in Computer Science, pages 189-209, Springer, 1996. [doi]
Abstract is missing.