表明を持つ項書き換え系(A-TRS)を用いたストリーム・プログラミング
スポンサーリンク
概要
- 論文の詳細を見る
われわれは戦略の表明を持つ項書き換え系A-TRSを提案し,その処理系を実現したことをすでに報告している.本論文ではトークン・モデルに基づくストリーム(並行プロセス)を,A-TRSを用いて記述する.ストリームは関数型言語に順序関係を導入するものであり,プログラムの構造化手法としても重要である.さらにストリームを並行に動作するモジュール間のデータの流れとして捉えることで,プログラムの中に並列性を陽に表現することが可能となる.また,この論文で紹介するプログラムはプロセスの動作をすべてリダクション(書き換え)でシミュレートしており,処理系に対して通信機能を加えるなどの変更を何ら施すことなく実行が可能である.
- 一般社団法人情報処理学会の論文
- 1990-03-14
著者
関連論文
- パネル討論会 : 新しい情報処理デバイスの展望 : 新しい計算機システム構築のために : 昭和59年後期第29回全国大会報告
- 多元画像を用いたクラスターの自動判別
- 「人工知能の展望」 : 1987年7月20日 人工知能学会全国大会(於:学習院大学記念会館)にて
- 衛星ネットワークと地上広域UNIXネットワークの接続方式
- LOTOSグラフィックエディタの構成
- 並列試験系列記述法PTSNを用いた試験の効率に関する一考察
- 並列性を考慮した通信システムにおける相互接続試験系列生成法
- 並列動作を含む相互接続試験系列記述法の提案
- パネル討論会 : 創立30周年記念 : 日本における情報処理教育のあり方
- PC Communication in an OSI environment : TM&T : Mail and Talk on TAINS
- 次世代高次コミュニケーション
- 表明を持つ項書き換え系(A-TRS)を用いたストリーム・プログラミング
- 戦略の表明を持つ項書き換え系A-TRSの実現と評価
- LOTOS仕様の実装法に関する一考察
- オブジェクト指向に基づいた分散処理OSの設計と実現
- TAINSの全体構成
- 東北大学総合情報ネットワークTAINSの構想
- プロトコル検証システムの設計と実現方式
- PrologプログラムのAND-OR並列実行モデル
- ASN.1データ定義支援環境の構成
- LOTOS仕様からのTTCN表現によるテストシーケンスの自動生成
- NOAA画像データと地理的情報の重ね合わせ
- NOAA画像データと等圧線の重ね合わせ
- 代数的に記述されたプロトコルの検証に関する一考察
- AN APPROXIMATION METHOD FOR K-TERMINAL RELIABILITY EVALUATIONIN INFORMATION NETWORKAn
- ユーザインタフェースの設計に関する一考察
- LOTOSの状態遷移的解釈