Contents of Report

[Data of Report]

Report Number:: TM0649
Date of Registration:: 1988.12
English Title:: Unfold/Fold Transformation of Stratified Programs
Japanese Title:: ***
English Author:: H.Seki
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tm0649.pdf

[Contents]

	Abstract	.... 2
1	Introduction	.... 2
2	Unfold/Fold Transformation	.... 3
3	Unfold/Fold Transformation of Stratified Programs	.... 9
4	On Preservation of Perfect Model Smantics	.... 12
5	Conclusion	.... 12
6	Acknowledgement	.... 13
7	References	.... 13
	End	.... 14

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

ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda