Contents of Report

[Data of Report]

Report Number:: TR0263
Date of Registration:: 1987.06
English Title:: Polymorphic Type Inference in Prolog by Abstract Interpretation
Japanese Title:: ***
English Author:: K.Horiuchi,T.Kanamori
Japanese:: ***
Name of Organization to which author belongs:: Mitsubishi,Mitsubishi
PDF:: tr0263.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Interpretation of Logic Programs	.... 2
2.1	Hybrid Interpretation of Logic Programs	.... 2
2.2	An Implementation of the Hybrid Interpretation	.... 4
3	Type Inference by Abstract Interpretation	.... 6
3.1	Polymorphic Type Inference	.... 6
3.2	Type Inference by Hybrid Interpretation	.... 8
3.3	An Example of the Polymorphic Type inference	.... 10
4	Discussion	.... 11
5	Conclusions	.... 11
	Acknowledgments	.... 11
	References	.... 11

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