Contents of Report

[Data of Report]

Report Number:: TR0331
Date of Registration:: 1988.01
English Title:: Detecting Functionality of Logic Programs Based on Abstract Hybrid Interpretation
Japanese Title:: ***
English Author:: T.Kanamori,K.Horiuchi,T.Kawamura
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT
PDF:: tr0331.pdf

	Abstract	.... 2
	Contents	.... 2
1	Introduction	.... 3
2	Standard hybrid Interpretation of Logic Programs	.... 3
2.1	Basic Hybrid Interpretation of Logic Programs	.... 3
2.2	Modified Hybrid Interpretation of Logic Programs	.... 8
3	Mode Analysis by Abstract Hybrid Interpretation	.... 12
3.1	Mode Analysis	.... 13
3.2	Abstract Hybrid Interpretation for Mode Analysis	.... 14
3.3	Examples of Mode Analysis	.... 18
4	Functionality Detection Based on Mode Analysis	.... 21
4.1	Overstimating Solution Numbers	.... 21
4.2	Abstract Hybrid Interpretation for Functionality Detection	.... 28
4.3	Examples of Functionality Detection	.... 29
5	Disucussion	.... 33
6	Conclusion	.... 34
	Acknowledgements	.... 34
	References	.... 34
	End	.... 35

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