Contents of Report

[Data of Report]

	Abstract	.... 2
	Contents	.... 2
1	Introduction	.... 3
2	OLDT Resolution	.... 6
2.1	An Example of OLDT Resolution	.... 6
2.2	A Formalization of OLDT Resolution	.... 9
2.3	Correctness of OLDT Resolution	.... 12
3	Abstract OLDT Resolution For Type Reference	.... 13
3.1	An Example of Type Reference	.... 13
3.2	A Formalization of the Type Reference	.... 16
3.3	Correctness of the Type Reference	.... 20
4	Implementation of the Abstract OLDT Resolution	.... 21
4.1	Formalization of the Modified Type Inference	.... 21
4.2	An Example of A Modified Type Inference	.... 23
4.3	Correctness of the Modified Type Inference	.... 24
5	Discussion	.... 25
6	Conclusion	.... 26
	Acknowledgements	.... 26
	References	.... 26
	Appendix Proof of the Correctness	.... 28
	End	.... 30

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