Contents of Report


[Data of Report]

Report Number:
TM0797
Date of Registration:
1989.09
English Title:
A Declarative Semantics of Flat Guarded Horn Clauses Programs with Perpetual Processes
Japanese Title:
***
English Author:
M.Murakami
Japanese:
***
Name of Organization to which author belongs:
ICOT
PDF:
tm0797.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Guarded Stream.... 3
3Model Theoretic Semantics.... 9
4Fixpoint Semantics.... 13
5Conclusion.... 15
Acknowledgements.... 16
References.... 16
End.... 17


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

ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda