HP Labs Technical Reports
Click here for full text:
A Rigorous Model of Object Reference, Identity, and Existence
Abstract: The essence of identity is the determination whether two references are to the same thing. A formal model of reference and identity can be based on the denotations of occurrences of symbols in a computational system. The model applies to explicitly created objects as well as mathematical abstractions.
Back to Index