Contents of Report

[Data of Report]

Report Number:: TR0344
Date of Registration:: 1988.02
English Title:: Partial Evaluation of GHC Programs Based on UR-set with Constraint Solving
Japanese Title:: ***
English Author:: H.Fujita,A.Okumura,K.Furukawa
Japanese:: ***
Name of Organization to which author belongs:: ICOT,ICOT,ICOT
PDF:: tr0344.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	The UR-set	.... 3
3	Partial Evaluation of GHC Programs	.... 5
3.1	Specialization of Clauses	.... 5
3.2	Virtual Backward Propagation	.... 6
4	Simulation Based on Constraints	.... 7
4.1	Constraint Propagation	.... 7
4.2	Constraint Reduction	.... 7
4.3	Constraint Solving for Specialization	.... 8
4.4	Example;String Matching	.... 9
4.5	Example;McCarthy's 91-function	.... 10
5	Relation to Other Research	.... 10
6	Conclusion	.... 12
	References	.... 12
	End	.... 13

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