CSPプログラムのデバッギングに対する実行時支援
スポンサーリンク
概要
- 論文の詳細を見る
並行プログラミングに関する研究は以前から進められ,並行プログラム記述用言語として様々なものが提案され実現されてきた.しかし並行プログラムは,プロセス間相互作用の時間依存性・非決定性という逐次プログラムとは本質的に異なる性質を有する.プログラムの動作は各プロセスの実行速度に左右され得るから,プログラマはこの性質に留意しつつプログラミング・デバッギングを行わなければならず,並行ソフトウェアの開発は逐次言語に比して困難である.筆者らは,並行ソフトウェアの生産性を向上させるには充実した開発環境が必要であると考え,並行ソフトウェア開発支援環境に関する研究を行ってきた.本稿では,プロセス間相互作用に関する論理的な時間順序関係を定義,これに基づいて我々が製作するデバッガがプログラマをいかに支援するか,その方式について報告する.
- 一般社団法人情報処理学会の論文
- 1986-10-01
著者
関連論文
- 全世界の文字・言語の混在テキストのための表示機能の国際化
- Definition of the Mongolian Character Codesets Enabling Multilingual Text Manipulation
- Codeset Independent Full Multilingual Operating System : Principle, Model and Optimal Architecture
- 箏曲異種楽譜の比較による歌の旋律分析
- 3G-5 箏曲の声楽部における旋律の分析
- 英作文添削ICAIシステムにおける英文法知識について : 英文法参考書にある全ての英文法知識を扱うことを目的として
- 数式変形に関する誤りの解析
- 数式変形に関する誤りの解析
- 多次元時系列の大域的相関分析法
- 数学ICAIシステムにおける演習問題の生成
- 工科系短大における数学教育のためのICAIシステムの検討
- 東北大学光波およびマイクロ波量子エレクトロニクス/磁気記録シンポジウムに出席して
- 用心深い行動計画
- 現実世界に通用する問題解決行動
- 数学文章題の問題世界における事物の統合・分割の関係の分類
- 知的CAIにおける図形生成システムの構築について
- 曖昧な文、誤った文を含む文章を会話を通して理解するシステムについて
- 日韓作文演習用知的 CAI における誤文解析および指導戦略
- UNIXネットワーク上の並列プログラム処理系の作成
- CSPプログラムのデバッギングに対する実行時支援
- 標準オブジェクトモジュールフォーマットSYSROF・MUFOMの相互変換
- MIMD型複合計算機システムにおける内部接続網とそのOSの研究
- 英文法を対象とする世界モデルの表現手法
- 英文法を対象とする世界モデルの表現手法
- 英文法ICAIシステムにおける知識表現と質問文応答
- 高校化学のICAIにおける対象世界モデルの表現と対話への利用
- 高校化学の知的CAIにおける入力文解釈機構について
- 問題演習型知的CAIにおける入力文解釈と対話制御
- 日韓文法の類似性を利用した韓国語作文演習知的CAIシステムの構築に関する研究
- 正値時間-周波数分布の最適決定法について
- 学習者に高い自由度を与える対話機構をもつ知的CAIについて
- 知的CAIにおける解法表明文に基づく学生の問題解決過程モデルの構築
- 空間理解におけるイメージの有効性
- 拡張性を考慮したマイクロプログラマブルプロセッサProteus
- 5. 並列処理システムにおけるプログラムデバッギング (<特集> 並列処理のためのシステムソフトウェア)