Abstract
Historically, concerns about aliasing and confinement in object-oriented languages arose from the Software Engineering or Program Verification viewpoint: spaghetti-data resulted in programs too delicate to modify or “… we could prove Q if only we knew that x is not aliased”. By and large, these issues arose in the context of sequential systems. Nowadays, exploiting multi-core architectures generally requires concurrent programming. The issues above become magnified: in software engineering terms updates to aliased objects can now lead to unpredictable data races rather than resulting in hard-to-modify but deterministic code. Program reasoning also became harder as there are more ways to break encapsulation. For example ‘x+=2;’ and ‘x+=1;x+=1;’ are no longer equivalent.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Mycroft, A.: Isolation Types and Multi-core Architectures. In: Beckert, B., Damiani, F., Gurov, D. (eds.) FoVeOOS 2011. LNCS, vol. 7421, pp. 33–48. Springer, Heidelberg (2012)
Wrigstad, T., Clarke, D.: Is the world ready for ownership types? Are ownership types ready for the world? In: IWACO 2011: International Workshop on Aliasing, Confinement and Ownership in Object-oriented Programming (2011)
Clarke, D., Östlund, J., Sergey, I., Wrigstad, T.: Ownership Types: A Survey. In: Clarke, D., Noble, J., Wrigstad, T. (eds.) Aliasing in Object-Oriented Programming. LNCS, vol. 7850, pp. 15–58. Springer, Heidelberg (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Mycroft, A. (2013). Aliasing Visions: Ownership and Location. In: Clarke, D., Noble, J., Wrigstad, T. (eds) Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Lecture Notes in Computer Science, vol 7850. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36946-9_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-36946-9_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36945-2
Online ISBN: 978-3-642-36946-9
eBook Packages: Computer ScienceComputer Science (R0)