Contents of Report

[Data of Report]

Report Number:: TR0390
Date of Registration:: 1988.06
English Title:: A New External Reference Management and Distributed Unification for KL1
Japanese Title:: ***
English Author:: N.Ichiyoshi,K.Rokusawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0390.pdf

	Abstract	.... 3
1	Introduction	.... 4
2	KL1 Language Overview	.... 5
3	Machine Architecture and Distributed Implementation	.... 7
3.1	Machine architecture	.... 7
3.2	Distributed implementation	.... 8
4	External References	.... 8
4.1	Representation of external references	.... 9
4.2	Exportation of data	.... 10
4.3	Inportation] of data	.... 12
4.4	Accsess protcols	.... 12
5	Inter-PE Gsrbage Collection by Weighted Exported Counting(WEC)	.... 13
5.1	The WEC priciple	.... 13
5.2	WEC operations	.... 15
5.3	Unspilttable WEC and indirect exportation	.... 17
6	Distributed Unification	.... 18
6.1	Avoidance of reference loop creation	.... 18
6.2	Termination of unification	.... 20
7	WEC Allocation Strategy	.... 22
8	Related Works and Discussion	.... 23
	Acknowledgements	.... 24
	References	.... 24
	Appendix	.... 26
	End	.... 27

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