Location Types for Safe Programming with Near and Far References.
Y. Welsch, J. Schäfer, and A. Poetzsch-Heffter. Aliasing in Object-Oriented Programming, volume 7850 of Lecture Notes in Computer Science, Springer, (2013)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Book Section
%1 series/lncs/WelschSP13
%A Welsch, Yannick
%A Schäfer, Jan
%A Poetzsch-Heffter, Arnd
%B Aliasing in Object-Oriented Programming
%D 2013
%E Clarke, Dave
%E Noble, James
%E Wrigstad, Tobias
%I Springer
%K
%P 471-500
%T Location Types for Safe Programming with Near and Far References.
%U http://dblp.uni-trier.de/db/series/lncs/lncs7850.html#WelschSP13
%V 7850
%@ 978-3-642-36945-2
@incollection{series/lncs/WelschSP13,
added-at = {2023-12-13T02:00:54.000+0100},
author = {Welsch, Yannick and Schäfer, Jan and Poetzsch-Heffter, Arnd},
biburl = {https://www.bibsonomy.org/bibtex/2ceb7e8b256159eefbcbb57bc8dcd3f51/admin},
booktitle = {Aliasing in Object-Oriented Programming},
crossref = {series/lncs/7850},
editor = {Clarke, Dave and Noble, James and Wrigstad, Tobias},
ee = {https://doi.org/10.1007/978-3-642-36946-9_16},
interhash = {79ada33fa74c4f068e2e36a3f6023bb4},
intrahash = {ceb7e8b256159eefbcbb57bc8dcd3f51},
isbn = {978-3-642-36945-2},
keywords = {},
pages = {471-500},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T02:00:54.000+0100},
title = {Location Types for Safe Programming with Near and Far References.},
url = {http://dblp.uni-trier.de/db/series/lncs/lncs7850.html#WelschSP13},
volume = 7850,
year = 2013
}