HP Labs Technical Reports

Click here for full text: Postscript PDF

A Rigorous Model of Object Reference, Identity, and Existence

Kent, William



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]