Potanin, AlexÖstlund, JohanZibin, YoavErnst, Michael D.2026-03-042026-03-04978-3-642-36945-2978-3-642-36946-90302-9743ORCID:/0000-0002-4242-2725/work/207109953dblp:series/lncs/PotaninOZE13https://hdl.handle.net/1885/733807125One 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.37en201310.1007/978-3-642-36946-9_984876000881