Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter. Location Types for Safe Programming with Near and Far References. In Dave Clarke, James Noble, Tobias Wrigstad, editors, Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Volume 7850 of Lecture Notes in Computer Science, pages 471-500, Springer, 2013. [doi]
Abstract is missing.