Contents of Report

[Data of Report]

Report Number:: TR0258
Date of Registration:: 1987.05
English Title:: A Self Applicable Partial Evaluator and Its Use in Incremental Compilation
Japanese Title:: ***
English Author:: H.Fujita,K.Furukawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0258.pdf

	Abstract	.... 2
1	Introduction	.... 2
1.1	Overview of the Background	.... 2
1.2	Relation to Other Research	.... 4
1.3	Outline	.... 5
2	Development of the Partial Evaluator	.... 5
2.1	Partial Evaluation of Prolog Programs	.... 5
2.2	Partial Solver	.... 6
2.3	Goal Suspension	.... 7
2.4	Partial Solver as A Partial Evaluator	.... 8
2.5	Partial Evaluation of Primitives	.... 10
3	Compiler and Compiler Generator	.... 12
3.1	Compilation	.... 12
3.2	Compiler Generation	.... 13
3.3	Compiler Generator Generation	.... 15
4	Incremental Compilation	.... 17
4.1	Open Predicate	.... 17
4.2	Extended Partial Solver	.... 18
4.3	Compiling Program Fragments	.... 19
5	Performance Analyses	.... 22
6	Another Application	.... 24
7	Conclusion	.... 24
	Acknowledgements	.... 26
	References	.... 26
	End	.... 27

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