@inbook{30dcf87a66ed46d19fe00ef1bb76b021,
title = "Immutability",
abstract = "One of the main reasons aliasing has to be controlled, as highlighted in another chapter [1] of this book [2], is the possibility that a variable can unexpectedly change its value without the referrer's knowledge. This book will not be complete without a discussion of the impact of immutability on reference-abundant imperative object-oriented languages. In this chapter we briefly survey possible definitions of immutability and present recent work by the authors on adding immutability to object-oriented languages and how it impacts aliasing.",
author = "Alex Potanin and Johan {\"O}stlund and Yoav Zibin and Ernst, \{Michael D.\}",
year = "2013",
doi = "10.1007/978-3-642-36946-9\_9",
language = "English",
isbn = "978-3-642-36945-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "233--269",
editor = "Dave Clarke and James Noble and Tobias Wrigstad",
booktitle = "Aliasing in Object-Oriented Programming",
address = "Germany",
}