Contents of Report

[Data of Report]

Report Number:: TR0373
Date of Registration:: 1988.03
English Title:: ***
Japanese Title:: 並列論理型言語KL1の実現方式と並列OSの記述
English Author:: T.Miyazaki,S.Uchida
Japanese:: 宮崎　敏彦,内田　俊一
Name of Organization to which author belongs:: ICOT,ICOT
PDF:: tr0373.pdf

[Contents]

	あらまし	.... 2
1	はじめに	.... 3
2	並列論理型言語KL1	.... 6
2.1	KL1の概要	.... 6
2.2	荘園	.... 8
2.3	プラグマ	.... 12
3	KL1処理系の実現方式	.... 14
3.1	対象とする並列マシン	.... 14
3.2	実行イメージ	.... 15
3.3	分散ユニフィケーション	.... 17
3.4	荘園の実現	.... 20
3.5	参照カウントを用いた構造体の実装	.... 23
3.6	ガーベジ・コレクション	.... 25
4	KL1によるOSの記述	.... 27
4.1	PIMOSの概要	.... 27
4.2	OSの保護	.... 27
4.3	OS資源の開放	.... 33
5	おわりに	.... 35
	参考文献	.... 37
	End	.... 45

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

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