Contents of Report

[Data of Report]

Report Number:: TM0240
Date of Registration:: 1986.11
English Title:: Notes on Transformation Techniques for Generate and Test Logic Programs
Japanese Title:: ***
English Author:: H.Seki,K.Furukawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tm0240.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Preliminaries	.... 3
3	Unfold/Fold and rearrangement by dataflow analysis	.... 4
4	Unfold/Fold based on structual commutativity	.... 6
5	Unfold/Fold using promotion strategy	.... 11
6	Discussion	.... 15
	Acknowledgements	.... 16
	References	.... 16
	Appendix	.... 17
	End	.... 21

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