Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Semigroup in Prolog	.... 3
2.1	Original Code	.... 4
2.2	Utilities	.... 6
2.3	Optimized Algorithm	.... 7
2.4	Granularity Collecting	.... 8
3	Semigroup in FGHC	.... 9
3.1	Original Code	.... 9
3.2	Removing Synchronization Points	.... 11
3.3	Single Bookend Termination	.... 11
3.4	Binary Hash Tree Filter	.... 12
4	Discussion	.... 15
	References	.... 16
	End	.... 17

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