Contents of Report


[Data of Report]

Report Number:
TR482
Date of Registration:
1989.10
English Title:
Unfolding Rules for GHC Programs
Japanese Title:
***
English Author:
K.Furukawa
Japanese:
Name of Organization to which author belongs:
PDF:
tr0482.pdf

[Contents]

1Introduction.... 2
2UR-set.... 3
3Informal Discussion of the Correctness of UR-set.... 7
3.1Partial Correctness(a1).... 7
3.2Total Correctness(a2).... 8
3.3Preserving Freedom from Deadlock.... 9
4Brock-Ackerman Problem.... 9
5Conclusion.... 15
End.... 16


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

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports