Contents of Report

[Data of Report]

Report Number:: TR0216
Date of Registration:: 1986.11
English Title:: Undecidability of Determinacy,Two Decidable Cases of Determinacy and Their Applications to Source-to-Source Transformation of Prolog Programs
Japanese Title:: ***
English Author:: H.Sawamura
Japanese:: 沢村　一
Name of Organization to which author belongs:: Fujitsu
PDF:: tr0216.pdf

	Abstract	.... 3
1	Introduction	.... 4
2	Notational Conventions	.... 6
3	Undecidability of Determinacy	.... 7
4	Two Decidable Cases of Determinacy	.... 10
4.1	a-determinacy and r-determinacy	.... 11
4.2	Extensions	.... 15
5	Applications of Determinacy to Source-to-Source Transformation of Prolog Programs	.... 16
6	Concluding Remarks	.... 23
	Acknowledgements	.... 25
	References	.... 26
	End	.... 27

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