Contents of Report

[Data of Report]

1	Overview	.... 3
2	Embedding Object-Orientation Features	.... 3
2.1	Object Identity	.... 3
2.2	Properties	.... 4
2.3	Method and the Implemantation	.... 4
2.4	Lattice on a Set of Object Terms	.... 5
3	Identifiability	.... 6
3.1	Object Identifier as Record Algebra	.... 7
3.2	Unification between Object Identifiers	.... 7
4	Outline of Juan	.... 7
4.1	Syntax	.... 8
4.2	Semantics	.... 8
5	Concluding Remarks	.... 9
	Acknowledgments	.... 10
	References	.... 10

目次をクリックすると、PDFファイルが表示されます。