Contents of Report

[Data of Report]

Report Number:: TR0386
Date of Registration:: 1988.05
English Title:: FGHC Partial Evaluator as a General Purpose Parallel Compiler
Japanese Title:: ***
English Author:: H.Fujita
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tr0386.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Overview of the Partial Evaluator	.... 3
2.1	Canonical Goal and Program	.... 3
2.2	Normalization and Unfolding	.... 6
2.3	Using Constraints	.... 7
3	Compiling FP programs to FGHC	.... 9
3.1	FP Interpreter	.... 9
3.2	Compiling FP Programs	.... 10
4	Compiling Prolog programs to FGHC	.... 12
4.1	Partial Evaluation of Unification	.... 12
4.2	All-solution Prolog Interpreter in FGHC	.... 13
4.3	Suspension Control Clauses	.... 14
5	Relation to Other Work	.... 17
6	Conclusion	.... 17
	Acknowledgements	.... 18
	References	.... 18
	Appendix A.1 FP "factorial"Program Compiled to FGHC	.... 20
	Appendix A.2 Prolog Unifier	.... 20
	Appendix A.3 Prolog "append"Program Compiled to FGHC	.... 21

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