Contents of Report


[Data of Report]

Report Number:
TM0666
Date of Registration:
***
English Title:
A Fixpoint Semantics of the Parallel Logic Programs based on Failure
Japanese Title:
失敗集合に基づく並列論理型プログラムの不動点的意味論
English Author:
村上 昌己
Japanese:
M.Murakami
Name of Organization to which author belongs:
ICOT
PDF:
tm0666.pdf

[Contents]

1はじめに.... 1
2ガード付ストリーム.... 1
3不動点的意味論.... 2
4おわりに.... 2
参考文献.... 2


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

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