Contents of Report
[Data of Report]
Report Number:
TM1024
Date of Registration:
1991.02
English Title:
Formal Semantics of Concurrent Logic Programs
Japanese Title:
並列論理型言語の形式的意味論
English Author:
M.Murakami
Japanese:
村上 昌己
Name of Organization to which author belongs:
FUJITSU
PDF:
tm1024.pdf
[Contents]
1
はじめに
.... 2
2
古典的/宣言的アプローチ;論理型言語の意味論として
.... 4
3
プロセス指向の意味論
.... 16
4
応用,プログラム変換と新たな言語パラダイム
.... 20
5
まとめ
.... 28
謝辞
.... 28
参考文献
.... 28
End
.... 35
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda