Contents of Report

[Data of Report]

Report Number:: TR0185
Date of Registration:: 1986.06
English Title:: Algorithmic Debugging of GHC Programs and its Implementation in GHC
Japanese Title:: ***
English Author:: A.Takeuchi
Japanese:: 竹内　彰一
Name of Organization to which author belongs:: ICOT
PDF:: tr0185.pdf

1	Introduction	.... 2
2	GHC	.... 3
3	Framework for Algorithm Debugging for GHC Programs	.... 3
4	Implementation	.... 5
4.1	"SIngle Stepping" Algorithm for Termination with Incorrect Answer	.... 5
4.2	"Divide and Query" Algorithm for Termination with Incorrect Answer	.... 8
4.3	"Divide and Query" Algorithm for Both Errors	.... 12
5	Concluding Remarks	.... 16
	References	.... 16
	End	.... 17

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