HP Labs Technical Reports

A Rigorous Model of Object Reference, Identity, and Existence

Kent, William

HPL-90-31

Keyword(s):

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