A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same object. Intended as the basis for a comprehensive solution to the “frame problem” and as an alternative (for the specific issue of determining aliases) to separation logic, shape analysis, ownership types and dynamic frames.
Note: Due to the typographical sophistication of this article, no HTML version is available. Please use the PDF version.
About the author
Bertrand Meyer: "Towards a theory and calculus of aliasing", in Journal of Object Technology, vol. 9, no. 2, March-April 2010, pp. 37-74. http://www.jot.fm/issues/issue_2010_03/column5/