SIMPOSのプログラミング環境 : 概要
スポンサーリンク
概要
- 論文の詳細を見る
SIMPOS(Sequential Inference Machine Programming and Operating System)はICOT で開発された個人使用向逐次型推論マシンPSIのプログラミング/オペレーティング・システムである。PSIはPrologの主要な機能(ユニフィケーション, バックトラッキンングとそれに伴う基本的なメモリ管理機能など)を機械語KLOの機能として備える, 高級言語専用計算機である。本稿では,SIMPOSの提供する機能とその開発進行状況,および,その過程で明らかになってきた高レベルの単一言語でOSからアプリケーションまですべてを記述することの得失について報告する。
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
-
近山 隆
(財)新世代コンピュータ技術開発機構第二研究室
-
中澤 修
沖電気工業株式会社
-
近山 隆
(財)ICOT
-
中澤 修
沖電気工業
-
中澤 修
(株)ai言語研究所第一研究室
-
内田 俊一
(財)ICOT
-
上田 尚順
三菱電機(株)
関連論文
- SIMPOSのプログラミング環境 : コンパイラの拡張機能
- PIMOSの資源管理方式
- PIMOSの設計方針
- PIMOSの例外処理方式
- 分散環境における構造体管理
- MRB-GCの評価 : アクティブセル量とヒープ消費
- KLIC分散メモリ処理系におけるメッセージ通信の実現と評価
- KLIC処理系の分散メモリ実装方式
- ポータブルKL1処理系KLICの概要
- A'UM-90のボラタイルオブジェクトの実装方式
- ストリームに基づく並列オブジェクト指向言語A'UM-90 : ストリーム分散実装方式
- PIMOSのトレーサ
- 並列論理型言語KL1のクローズインデキシング方式
- テキスト音声変換LSIの開発
- マルチメディア用RISCコントローラとその応用
- 分散ソフトウェア開発用ツールキット : 環境
- KL1抽象命令セットの改良について
- 並列推論マシンPIM : 中期PIMの処理方式について
- スタック領域が不要な深さ優先順コピー型ゴミ集め方式
- KLICの共有メモリ並列実装方式
- KLIC処理系核の評価
- 分散環境におけるデッドロックのWTC方式を用いた検出方式
- PIMOSのセルフ・コンパイラ
- PIMOSの評価
- オブジェクト指向論理型言語Common ESP
- SIMPOSのプログラミング環境 : フォントエディタ
- SIMPOSのプログラミング環境 : 概要
- PIMOS上でのシェルの実現 : 共有資源管理
- PIMOSの階層的資源管理
- オブジェクト指向手法による金融機器用ソフトウェアの開発 : ミドルソフトウェアの構成
- 分散オブジェクト開発支援用ツールキット
- 分散オブジェクト開発用ツールキット
- 分散環境におけるユニフィケーションの実現
- SIMPOSのプログラミング環境 : コール・カウンター
- 並列推論マシンPIM (「第五世代コンピュータ」)
- WOOC'89に参加して
- オブジェクト指向言語によるOSの開発例 (オブジェクト指向プログラミング)