Contents of Report


[Data of Report]

Report Number:
TR0310
Date of Registration:
1987.10
English Title:
A Reflective Guarded Horn Clauses and its Application
Japanese Title:
Refection概念に基づく並列論理型言語とその応用
English Author:
J.Tanaka
Japanese:
田中 二郎
Name of Organization to which author belongs:
ICOT
PDF:
tr0310.pdf

[Contents]

Abstract.... 2
1はじめに.... 2
2Reflective GHC.... 2
3GHCの自己記述.... 3
4GHCの分数計算機.... 5
5分数計算機の記述.... 6
5.1ネットワークマネージャ.... 6
5.2GHC マシンの記述.... 7
5.3メタコールの記述.... 9
6まとめ.... 10
謝辞.... 10
参考文献.... 11


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

ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports