Contents of Report

[Data of Report]

Report Number:: TR0701
Date of Registration:: 1991.10
English Title:: Structual Analysis of the Set of Constraints for Constraint Logic Programs
Japanese Title:: ***
English Author:: Y.Nagai.R.Hasegawa
Japanese:: ***
Name of Organization to which author belongs:: Toshiba,ICOT
PDF:: tr0701.pdf

	Abstract	.... 2
1	Introduction	.... 3
2	Preliminaries	.... 4
2.1	Computation Model of CLP	.... 4
2.2	Search tree generated by SLD-resolution	.... 5
3	Collection of the Set of Constraints	.... 6
3.1	Dataflow Analysis	.... 6
3.2	Collection of the Set of Constraints	.... 7
4	Structual Analysis of the Collected Set of Constraints	.... 8
4.1	Constraint and Constraint Graph	.... 8
4.2	Structural Decomoposition of Constraint Graph	.... 9
5	Program Execution Improvement based on the Goal Ordering and the Variable Preference	.... 11
5.1	Determination of the Ordering of Goals and the Preference Variable	.... 11
5.2	Applecations and Experimental Results	.... 13
5.3	Consideration of Program Analysis Method Effectiveness	.... 14
6	Relted Works and Conculsion	.... 15
	Acknowledgements	.... 16
	Reference	.... 16
	End	.... 17

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