kirancodes.me
To Proof Maintenance & Beyond!

The left hand of equals

James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller

Abstract

When is one object equal to another object? While object identity is fundamental to object-oriented systems, object equality, although tightly intertwined with identity, is harder to pin down. The distinction between identity and equality is reflected in object-oriented languages, almost all of which provide two variants of "equality", while some provide many more. Programmers can usually override at least one of these forms of equality, and can always define their own methods to distinguish their own objects.

Related papers