HP Labs Technical Reports



Click here for full text: Postscript PDF

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

[Research] [News] [Tech Reports] [Palo Alto] [Bristol] [Japan] [Israel] [Site Map] [Home] [Hewlett-Packard]