| 研究課題/領域番号 |
06452394
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
程 京徳 九州大学, 工学部, 助教授 (30217228)
|
|---|
| 研究分担者 |
牛島 和夫 九州大学, 工学部, 教授 (40037750)
|
|---|
| キーワード | 命令型並行プログラム / 宣言型並行プログラム / プログラム従属性 / プログラム解析 / プログラム理解 / デバッグ / 複雑さ評価 / 保守 |
|---|
| 研究概要 |
(1)命令型・宣言型並行プログラムにおけるプロセス相互作用の共通の表現モデルの構築
命令型並行プログラムにおける多重制御流れと多重データ流れを表現できる有向グラフとして我々が導入した非決定的定義使用ネットを、宣言型並行プログラムにおける多重制御流れと多重データ流れを表現できるように拡張し、命令型・宣言型並行プログラムにおけるプロセス相互作用の表現モデルを構築した。
(2)理論型並行プログラムにおける従属性の解析
理論型並行プログラムにおけるプロセス相互作用の表現モデルに基づいて、論理型並行プログラムにおける従属性を引き数のレベルまで解析した。
(3)オブジェクト指向並行プログラムにおける従属性の解析
CC++で書かれたプログラムを対象プログラムとして、オブジェクト指向並行プログラムにおける従属性を解析する技法を提案した。
(4)関数型プログラムにおける従属性の解析
Standand MLで書かれたプログラムを対象プログラムとして、関数型プログラムにおける従属性を解析する技法を提案した。
(5)occam2並行プログラムにおける従属性の解析
occam2並行プログラムのための並列定義使用ネット生成ツールを開発し、occam2並行プログラムにおける従属性を解析し、そのプロセス従属ネットを生成した。
|
