Contents of Report
[Data of Report]
Report Number:
TR438
Date of Registration:
1988.11
English Title:
失敗集合に基づく並列推論型プログラムの宣言的意味論
Japanese Title:
***
English Author:
村上 昌己
Japanese:
Name of Organization to which author belongs:
PDF:
tr0438.pdf
[Contents]
1
はじめに
.... 2
2
ガード付ストリーム
.... 3
2.1
準備
.... 3
2.2
形式的定義
.... 4
3
モデル論的意味論
.... 6
4
不動点的セマンティクス
.... 8
5
おわりに
.... 10
謝辞
.... 10
End
.... 11
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports