Contents of Report

[Data of Report]

1	Introduction	.... 2
2	Design Goal and Overview	.... 2
3	Syntax and Semantics	.... 3
3.1	Syntax	.... 3
3.2	Semantics	.... 3
4	Program Examples	.... 5
4.1	Binary Merge	.... 5
4.2	Generating Primes	.... 6
4.3	Bounded Buffer Stream Communication	.... 6
4.4	Meta-Interpreter of GHC	.... 6
5	Important Features of GHC	.... 7
5.1	Simplicity	.... 7
5.2	Descriptive Power	.... 7
5.3	Efficiency	.... 7
6	Possible Extensions	.... 7
6.1	Otherwise	.... 7
6.2	Metacall Facilities	.... 8
6.3	Metacall with communication	.... 8
7	Implementation Outline	.... 9
8	Comparison With Other Languages	.... 10
8.1	Comparison with Concurrent Prolog and PARLOG	.... 10
8.2	Comparison with Qute	.... 11
8.3	Comparison with CSP[hoare78]	.... 11
8.4	Comparison with (sequential)Prolog	.... 12
8.5	Comparison with Delta Prolog	.... 12
9	Conclusiona	.... 12
	Acknowledgments	.... 12
	References	.... 13

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