Contents of Report

[Data of Report]

	Abstract	.... 2
	Keywords	.... 2
1	Introduction	.... 3
2	Unford/fold Transformation	.... 4
2.1	Preliminaries; Rules of Transformation	.... 4
2.2	Modified Folding Rule and Preservation of FF	.... 6
3	Unford/Fold Transformation of Stratified Programs	.... 9
3.1	Preliminaries	.... 9
3.2	Partial Correctness of Transformation	.... 10
3.3	Total Correctness of Transformation	.... 11
4	On Preservation of Perfect Model Semantics	.... 12
5	Conclusion	.... 13
	Acknowledgements	.... 13
	References	.... 14
	A Appendix	.... 15
	End	.... 34

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