occam 2プログラムのためのシステム従属ネット生成ツール
スポンサーリンク
概要
- 論文の詳細を見る
現在, ソフトウェアはますます大規模化し, 複雑になってきており, さらにシステムの分散化などにより, それらの開発や保守は非常に困難となってきている。それらのソフトウェアの開発と保守を支援するために並行型プログラムの抽象表現として, プログラムにおける各文間の従属関係を明示的に表現するシステム従属ネットが提案されている。本稿では, occam 2並行処理プログラムのためのシステム従属ネット生成ツールの実装方法について説明する。
- 一般社団法人情報処理学会の論文
- 1997-09-24
著者
関連論文
- 汎用前向き帰結演算システムEnCalのインタフェースの開発
- Ada並行プログラムのためのタスク従属ネットとその自動生成
- 強相関性原理を満たす決定可能な相関論理体系について
- 5C-3 Ada 95 プログラムのためのシステム従属ネット生成ツール
- 相関論理における強相関性原理
- 前向き自動帰結演算システムの効率化
- 認識プロセスの相関論理モデルにおける認識的縮約操作について
- occam 2プログラムのためのシステム従属ネット生成ツール
- 関数型プログラムの束縛評価グラフ生成ツール
- コンピュータ囲碁における格言の知識表現について