Previous column

Next column

Towards a theory and calculus of aliasing

Bertrand Meyer, Chair of Software Engineering, ETH Zürich, Switzerland



PDF Icon
PDF Version


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 is professor of software engineering at ETH Zurich and chief architect at Eiffel Software. His latest book, an introductory programming textbook based on seven years of teaching the introductory course at ETH, is Touch of Class: An Introduction to Programming Well, Using Objects and Contracts, Springer Verlag, 2009.
He can be reached by e-mail at

Bertrand Meyer: "Towards a theory and calculus of aliasing", in Journal of Object Technology, vol. 9, no. 2, March-April 2010, pp. 37-74.

Previous column

Next column