Contents of Report

[Data of Report]

Report Number:: TR0403
Date of Registration:: 1988.06
English Title:: Preservation of Stronger Equivalence in Unfold/Fold Logic Program Transformation(II)
Japanese Title:: ***
English Author:: T.Kanamori,T.Kawamura
Japanese:: ***
Name of Organization to which author belongs:: Mitsubishi,Mistubishi
PDF:: tr0403.pdf

	Abstract	.... 2
	contents	.... 2
1	Introduction	.... 3
2	Unfold/Fold Transformation of Prolog Programs	.... 3
3	Preservation of Stornger Equivalence	.... 5
3.1	Proof Tree	.... 5
3.2	Mapping between Proof Tree Sets	.... 7
3.3	Partial Correctness	.... 8
3.4	Total Correctness	.... 11
4	Discussion	.... 19
5	Conclusions	.... 19
	Acknowledgements	.... 19
	References	.... 20

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