Contents of Report

[Data of Report]

Report Number:: TR0176
Date of Registration:: 1986.05
English Title:: Argus/v: A System for Verification of Prolog Programs
Japanese Title:: ***
English Author:: T.Kanamori,H.Fujita,K.Horiuchi,M.Maeji,H.Seki
Japanese:: ***
Name of Organization to which author belongs:: Mitsubishi,Mitsubishi,Mitsubishi,Mitsubishi,ICOT
PDF:: tr0176.pdf

	Abstract	.... 2
	Keywords	.... 2
1	Introduction	.... 3
2	Testing of Prolog Programs	.... 3
3	Logic Programming Paradigm Revisited	.... 4
4	Verification of Prolog Programs	.... 55
4.1	Specification of Prolog Programs	.... 5
4.2	Inference Rules for Verification	.... 7
4.3	Extended Execution	.... 7
4.4	Computational Induction	.... 10
4.5	Argus/V Verification System	.... 11
5	Discussion; Tseting and Verification	.... 11
6	Conclusion	.... 12
	Acknowledgements	.... 12
	References	.... 12
	End	.... 13

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