Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 3
2	Alexander Templates(AT)	.... 3
2.1	Naive Alexander Templates	.... 3
2.2	Refined Alexander Templates	.... 6
2.3	Correctness of Alexander Templates	.... 8
3	Abstract Interpretation based on Alexander Templates	.... 9
3.1	An Example of Mode Inference based on AT	.... 9
3.2	A Formalization of the Mode Inference based on AT	.... 10
3.3	Correctness of the Mode Inference based on AT	.... 13
4	Discussion	.... 14
4.1	Classification of Prolog Abstract Interpreters	.... 14
4.2	Correspondence to Abstract Interpretation by Mellish	.... 15
4.3	Correspondance to Abstract Interpretation based on OLDT Resolusion	.... 15
5	Conclusions	.... 16
	Acknowledgements	.... 16
	References	.... 16
	Appendix Proof of the Mode Inference based on AT	.... 17
	End	.... 21

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