Towards alias-free pointers
1996 ◽
pp. 189-209
◽