Contents of Report

[Data of Report]

Report Number:: TM0602
Date of Registration:: 1988.10
English Title:: A Declarative Semantics of Parallel Logic Programs based on Failure Deadlock Set
Japanese Title:: ***
English Author:: M.Murakami
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tm0602.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Guarded Streams	.... 3
3	Model Theoretic Semantics	.... 7
4	Conclusion;Relation to the Operational Semantics	.... 10
5	Acknowledgements	.... 10
6	References	.... 10
	End	.... 11

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