関数的実行環境下における構造データ処理に関する考察
スポンサーリンク
概要
- 論文の詳細を見る
数学的な関数の概念に基づく関数型言語は,プログラムに内在する並列性を利用して並列処理プログラムを容易に導出することが可能であり,大規模な並列処理を記述する上で有効である.関数型言語の実行にあたり,関数概念に忠実に変数の破壊的代入を認めない環境を,関数的実行環境と呼ぶ.このような環境において,アレイやリストなどの構造データは,その要素が生成・変更される度に新しい構造データが確保されることになる.しかし,これはメモリ資源の有効利用という観点から見て現実的ではない.そこで筆者らは,確保する構造データを必要最小限に抑え,可能な限り破壊的代入を行なうオブジェクトコードを生成する方式を検討している.本稿では,我々が開発している関数型言語Validのコンパイラに本方式の導入を検討する.
- 一般社団法人情報処理学会の論文
- 1992-02-24
著者
関連論文
- PDPモデルに基づく画像理解システム : ICE System(Image CEntered System)
- 超並列V言語とそのマルチスレッド実行方式の概要
- 関数型プログラムの疎/密結合並列計算機上の実行スケジューリング手法
- 密結合マシン上での関数型言語のデータフロー解析に基づくインプリメント
- Datarolマシンへの高階関数及び遅延評価の実装方式
- Datarolマシンの資源管理方式に関する考察
- Datarolマシンの負荷制御方式
- Datarolプロセッサのインスタンススワップ管理と負荷制御について
- 並列計算機KUMP/Dの相互結合網
- 細粒度処理向け並列計算機KUMP/Dの構造体メモリアクセス機構
- マルチメディア指向並列計算機KUMP/Dの構想
- 画像処理用超並列プロセッサAMPにおけるSimplified stream Bufferの実現
- 画像処理用超並列プロセッサAMPにおける連結成分のラベル付けとその評価
- 画像処理用超並列プロセッサAMPのプログラミング言語Valid-Aの拡張について
- 画像処理用超並列プロセッサAMPにおける図形認識法とその評価
- 画像処理用超並列プロセッサAMPとストリーム処理
- 画像処理用超並列プロセッサAMPにおける同期処理について
- 画像処理用超並列プロセッサAMPのプログラミング言語Valid-Aについて
- datarolプロセッサのアーキテクチャについて
- 関数的実行環境下における構造データ処理に関する考察
- priority-controlを用いた並列談話処理モデル
- メッセージフローエージェントのデータフロー実行方式
- 関数型言語Validへの並列オブジェクト指向プログラミング機能の導入
- ニューラルネットワークを用いたLANDSAT画像解析の試み
- 拡張文脈自由文法の並列構文解析
- Dataolマシンの資源管理方式に関する検討 : プロセス状態検出方法と状態変化制御機構
- 並列処理計算機Datarolマシン用プログラム抽出アルゴリズムの計算量
- 遠隔講義支援システムにおける画像処理技術の利用 : 講義撮影カメラの自動制御の試み
- 階層的対象物モデルを利用した画像認識におけるモデルマッチング
- 領域の階層構造を利用した画像認識システムにおけるモデルマッチング
- 画像認識システムにおける例示による対象物モデルの獲得の一手法
- 超並列処理記述言語Vによる画像処理アルゴリズムの記述
- 超並列処理記述言語Vによる画像処理アルゴリズムの記述
- 一般の文脈自由文法に対する効率的な並列構文解析