Contents of Report

[Data of Report]

Report Number:: TR0126
Date of Registration:: 1985.09
English Title:: Partial Evaluation of Prolog Programs and its Application to Meta Programming
Japanese Title:: ***
English Author:: A.Takeuchi,K.Fukukawa
Japanese:: 竹内　彰一,古川　康一
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0126.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Partial Evaluation of Prolog Programs	.... 3
3	Application to Meta Programming	.... 7
3.1	Meta programming	.... 7
3.2	Partial evaluation of a meta program	.... 7
4	Partial Evaluation as A Basic Tool for Building Inference System	.... 10
5	Incremental Specialization of Meta Interpreter	.... 14
6	Conclusion	.... 19
	Acknowledgement	.... 19
	References	.... 19
	End	.... 20

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