Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 3
2	Flat GHC	.... 6
3	Atom Behavior	.... 8
3.1	Atom Behavior in General	.... 9
3.2	Computation Tree	.... 10
3.3	Behavior Tree	.... 14
4	Incorrect Flat GHC Programs and their Bugs	.... 15
4.1	Computed Interpretation and Intended Interpretation	.... 16
4.2	Incorrect Flat GHC Programs	.... 16
4.3	Bugs in Incorrect Flet GHC Programs	.... 17
5	Diagnosis of Flat GHC Programs	.... 19
5.1	Queries for the Diagnosis	.... 19
5.2	A Diagnosis Algorithm Using Atom Behavior	.... 20
5.3	Two Examples of the Diagnosis	.... 21
6	Soundness and Completeness of the Diagnosis Algorithm	.... 23
7	Implementation of the Diagnosis Algorithm	.... 23
8	Discussion	.... 26
9	Conclusions	.... 28
	Acknowledgements	.... 28
	References	.... 28
	End	.... 30

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