Contents of Report

[Data of Report]

Report Number:: TR0399
Date of Registration:: 1988.06
English Title:: Preservation of Stronger Equivalance in Unfold/Fold Logic Program Transformation
Japanese Title:: ***
English Author:: T.Kawamura,T.Kanamori
Japanese:: ***
Name of Organization to which author belongs:: Mitsubishi,Mitsubishi
PDF:: tr0399.pdf

	Abstract	.... 2
	Contents	.... 2
1	Introduction	.... 3
2	Unfold/Fold Transformation of Prolog Programs	.... 3
3	Preservation of Stronger Equivalence	.... 5
3.1	Proof Tree	.... 5
3.2	Partial Correctness	.... 7
3.3	Total Correctness	.... 10
4	Discussion	.... 16
5	Conclusion	.... 16
	Acknowledgements	.... 16
	References	.... 16
	End	.... 17

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