| 研究課題/領域番号 |
06452394
|
|---|
| 研究機関 | 九州大学 |
|---|
研究代表者 |
程 京徳 九州大学, 大学院・システム情報科学研究科, 教授 (30217228)
|
|---|
| 研究分担者 |
荒木 啓二郎 九州大学, 大学院・システム情報科学研究科, 教授 (40117057)
牛島 和夫 九州大学, 大学院・システム情報科学研究科, 教授 (40037750)
|
|---|
| キーワード | 命令型並行プログラム / 宣言型並行プログラム / プログラム従属性 / プログラム解析 / スライシング / プログラム理解 / デバッグ / 複雑さ評価 |
|---|
| 研究概要 |
並行論理型プログラムにおけるプロセス相互作用の表現モデルに基づいて、並行理論型プログラムにおける引数間の共有変数による共有従属性、引数間の通信による通信従属性、および引数間の同一化による同一化従属性という3種類の基本的なプログラム従属性を新たに提案し、それらの形式的定義を与えた。
並行論理型プログラムにおける従属性を解析するアルゴリズムを開発し、それらを明示的に表現するモデルとして、並行論理型プログラムの引数従属ネットを新たに提案した。更に、並行論理型プログラムの静的スライスと実行可能な静的スライスを定義し、引数従属ネットに基づいてこれらのスライスを計算するアルゴリズムも開発した。
CC++で書かれたプログラムを対象プログラムとして、オブジェクト指向並行プログラムにおける従属性を解析する技法を提案し、オブジェクト指向並行プログラムの静的スライスを計算するアルゴリズムも開発した。
関数型プログラムの抽象的表現として評価順序グラフと束縛評価グラフを提案し、関数型プログラムにおけるプログラム従属性の形式的定義と解析、関数型プログラムの理解、テスト、デバッグ、複雑さ計測、保守へのそれぞれの応用を示した。
|
