Contents of Report

[Data of Report]

Report Number:: TR0242
Date of Registration:: 1987.03
English Title:: Proving Partial Correctness of Guarded Horn Clauses Programs
Japanese Title:: ***
English Author:: M.Murakami
Japanese:: ***
Name of Organization to which author belongs:: ICOT
PDF:: tr0242.pdf

1	Introduction	.... 2
2	Partial Correctness of GHC	.... 3
2.1	Guarded Horn Clauses	.... 3
2.2	Partial Correctness	.... 4
2.3	Inference Rules	.... 5
2.4	Proof Schema	.... 6
2.5	Example of Proof	.... 7
3	Cotrol of Nondeterminism With Suspend	.... 9
3.1	Annotation	.... 9
3.2	Example of Proof 2	.... 11
4	Conclusion	.... 14
	Acknowledgements	.... 14
	References	.... 14
	End	.... 15

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