Contents of Report

[Data of Report]

Report Number:: TM0484
Date of Registration:: 1988.03
English Title:: Abstract Interpretation and Partial Evaluation of Prolog Programs
Japanese Title:: ***
English Author:: H.Fujita
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tm0484.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Partial Evaluation	.... 3
3	Abstract Interpretaion	.... 5
4	Derivation of Unfoldability	.... 7
5	Concluding Remarks	.... 11
	References	.... 12
	Appendix A;A Skeleton of Our Partial Evaluator	.... 13
	Appendix B;An Example	.... 15
	End	.... 18

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