Contents of Report

[Data of Report]

Report Number:: TR0339
Date of Registration:: 1998.02
English Title:: An Axiomatic Verification Method for Synchronizations of Guarded Horn Clauses Programs
Japanese Title:: ***
English Author:: M.Murakami
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tr0339.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Partial Correctness of GHC Programs	.... 3
2.1	Guarded Horn Clauses	.... 3
2.2	Goal Forms and \| Annotation	.... 4
2.3	Operational Semantics of GHC	.... 6
3	Axiom System	.... 9
4	Conclusion	.... 12
	Acknowledgment	.... 13
	References	.... 13

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