1996 Fiscal Year Annual Research Report
命令型・宣言型並行プログラムにおける従属性に関する一般的理論の構築と応用
| Project/Area Number |
06452394
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
程 京徳 九州大学, 大学院・システム情報科学研究科, 教授 (30217228)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
荒木 啓二郎 九州大学, 大学院・システム情報科学研究科, 教授 (40117057)
牛島 和夫 九州大学, 大学院・システム情報科学研究科, 教授 (40037750)
|
|---|
| Keywords | 命令型並行プログラム / 宣言型並行プログラム / プログラム従属性 / プログラム解析 / スライシング / プログラム理解 / デバッグ / 複雑さ評価 |
|---|
| Research Abstract |
並行論理型プログラムにおけるプロセス相互作用の表現モデルに基づいて、並行理論型プログラムにおける引数間の共有変数による共有従属性、引数間の通信による通信従属性、および引数間の同一化による同一化従属性という3種類の基本的なプログラム従属性を新たに提案し、それらの形式的定義を与えた。
並行論理型プログラムにおける従属性を解析するアルゴリズムを開発し、それらを明示的に表現するモデルとして、並行論理型プログラムの引数従属ネットを新たに提案した。更に、並行論理型プログラムの静的スライスと実行可能な静的スライスを定義し、引数従属ネットに基づいてこれらのスライスを計算するアルゴリズムも開発した。
CC++で書かれたプログラムを対象プログラムとして、オブジェクト指向並行プログラムにおける従属性を解析する技法を提案し、オブジェクト指向並行プログラムの静的スライスを計算するアルゴリズムも開発した。
関数型プログラムの抽象的表現として評価順序グラフと束縛評価グラフを提案し、関数型プログラムにおけるプログラム従属性の形式的定義と解析、関数型プログラムの理解、テスト、デバッグ、複雑さ計測、保守へのそれぞれの応用を示した。
|
-
[Publications] J.Cheng: "Tasking Deadlocks in Ada 95 Programs and Their Detection" Lecture Notes in Computer Science. Vol.1088. 135-146 (1996)
-
[Publications] J.Zhao: "Program Dependence Analysis of Concurrent Logic Programs and Its Applications" Proc.1996 ICPDS. 282-291 (1996)
-
[Publications] J.Zhao: "Static Slicing of Concurrent Object-Oriented Programs" Proc.IEEE-CS 20th COMPSAC. 312-320 (1996)
-
[Publications] 笠原義晃: "Ada並行プログラムのためのタスク従属ネットとその自動生成" 電子情報通信学会論文誌. Vol.J79-D-I,No.11. 925-935 (1996)
-
[Publications] J.Cheng: "Dependence Analysis of Parallel and Distributed Programs and Its Applications" Proc.1997 IEEE-CS ICAPDC. (1997)
-
[Publications] J.Zhao: "Slicing Concurrent Logic Programs" in T.Ida et al(Eds.),“Functional and Logic Programming,". (1997)
