Abstract
This volume describes a great number of techniques for confining, defining, analysing, etc. aliases in object-oriented programming, each with their own strengths and weaknesses. The missing chapter is the underlying theory that is able to explain them all. In this vision statement, we state the need for a theory of structured aliasing, and claim that the problem with aliasing lies not in the aliases themselves, but the low-level language constructs used to create them.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
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
Wrigstad, T. (2013). Structured Aliasing. 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_22
Download citation
DOI: https://doi.org/10.1007/978-3-642-36946-9_22
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)