| 1 | はじめに | .... 2 |
| 2 | 背景と開発目標 | .... 2 |
| 3 | φシステムのアウトライン | .... 4 |
| 4 | 設計上の選択点 | .... 5 |
| 4.1 | 核言語KLQ の設定 | .... 5 |
| 4.2 | 核言語KLQ の実行について | .... 5 |
| 4.3 | sharing / copy 方式について | .... 7 |
| 4.4 | ユニフィケ-ション高速化のサポート | .... 8 |
| 4.5 | オペレーテングシステムのサポート機能 | .... 8 |
| 4.6 | 4のアーキテクチャ | .... 9 |
| 4.7 | アドレス空間 | .... 9 |
| 4.8 | データ表現 | .... 11 |
| 4.9 | クローズ表現 | .... 12 |
| 5 | おわりに | .... 13 |
| 参考文献 | .... 13 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports