Contents of Report
[Data of Report]
Report Number:
TR0405
Date of Registration:
1988.06
English Title:
***
Japanese Title:
無限プロセスを含む並列論理型プログラムの宣言的意味論
English Author:
M.Murakami
Japanese:
村上 昌己
Name of Organization to which author belongs:
ICOT
PDF:
tr0405.pdf
[Contents]
Abstract
.... 2
1
はじめに
.... 2
2
ガード付ストリーム
.... 4
3
モデル論的セマンティクス
.... 8
4
不動点的セマンティクス
.... 12
5
結び
.... 14
謝辞
.... 14
References
.... 14
End
.... 15
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports