Contents of Report

[Data of Report]

Report Number:: TR0599
Date of Registration:: 1990.10
English Title:: ***
Japanese Title:: リフレクティブGHCとその実現
English Author:: J.Tanaka,F.Matono
Japanese:: 田中　二郎,的野　文夫
Name of Organization to which author belongs:: Fujitsu,Fujitsu
PDF:: tr0599.pdf

[Contents]

1	はじめに	.... 3
1.1	計算システムとメタシステム	.... 3
1.2	リフレクティブシステム	.... 3
1.3	本論文の構成	.... 4
2	メタ・システムの構成	.... 4
2.1	簡単なメタ・プログラム	.... 4
2.2	メタ・レベルにおけるオブジェクト・レベルの表現	.... 5
2.3	メタ・システムの実現	.... 7
3	リフレクティブGHCの構成	.... 9
3.1	リフレクティブ・システムにおけるメタの階層	.... 9
3.2	リフレクティブ述語	.... 9
3.3	リフレクティブ述語の実行	.... 10
3.4	メタ述語定義	.... 12
3.5	シフト・アップとシフト・ダウン	.... 13
3.6	リフレクティブGHCの実現	.... 14
3.7	実際のインプリメント	.... 16
4	リフレクティブGHCの実行例	.... 16
5	関連研究の動向	.... 18
6	本研究の特徴及び今後の動向	.... 19
	謝辞	.... 21
	参考文献	.... 22
	End	.... 23

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

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