Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Brief Introduction to ECP	.... 3
2.1	AND-parallelism and OR-parallelism	.... 3
2.2	Set-abstraction	.... 3
2.3	Meta-inference	.... 4
3	Scheduling Queue	.... 5
4	ECP Compiler	.... 6
4.1	Program Compilation	.... 7
4.2	Compiled Code and Its Exection	.... 8
5	Related Works	.... 15
6	Conclusion	.... 16
	Acknowledgments	.... 17
	References	.... 17
	AppendixA Compilation Example	.... 20
	AppendixB Compiler Program	.... 21
	End	.... 25

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