Contents of Report
[Data of Report]
Report Number:
TM1204
Date of Registration:
1992.08
English Title:
***
Japanese Title:
並列論理型言語における観測プログラムの合成
English Author:
K.Horiuchi
Japanese:
堀内 謙二
Name of Organization to which author belongs:
ICOT
PDF:
tm1204.pdf
[Contents]
概要
.... 2
1
はじめに
.... 2
2
Flat Guarded Horn Clauses
.... 2
3
観測プログラム
.... 4
4
FGHCゴールの拡張リダクションと観測プログラムの合成
.... 4
5
おわりに
.... 7
参考文献
.... 7
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda