• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

A General Theory of Program Dependencies in Imperative and Declarative Concurrent Programs and Its Applications

Research Project

Project/Area Number 06452394
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field 計算機科学
Research InstitutionKyushu University

Principal Investigator

CHENG Jingde  Kyushu University, Graduate School of Information Science & Electrical Engineering Professor, 大学院・システム情報科学研究科, 教授 (30217228)

Co-Investigator(Kenkyū-buntansha) ARAKI Keijiro  Kyushu University, Graduate School of Information Science & Electrical Engineeri, 大学院・システム情報科学研究科, 教授 (40117057)
USHIJIMA Kazuo  Kyushu University, Graduate School of Information Science & Electrical Engineeri, 大学院・システム情報科学研究科, 教授 (40037750)
Project Period (FY) 1994 – 1996
Project Status Completed (Fiscal Year 1996)
Budget Amount *help
¥6,100,000 (Direct Cost: ¥6,100,000)
Fiscal Year 1996: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 1995: ¥4,000,000 (Direct Cost: ¥4,000,000)
Fiscal Year 1994: ¥1,000,000 (Direct Cost: ¥1,000,000)
KeywordsImperative concurrent programs / Declarative concurrent programs / Program dependencies / Program analysis / Slicing / Program understanding / Debug / Complexity metrics / 保守 / 論理型並行プログラム / 関数型並行プログラム / プロセス相互作用 / 並行プログラムの系統的開発法
Research Abstract

1.We extended the nondeterministic parallel control-flow net and nondeterministic parallel definition-use net, which are two representations for imperative concurrent programs originally introduced by Cheng, such that they cab be used to represent multiple control flows and multiple data flows in declarative concurrent programs.
2.We introduced three new types of primary program dependencies between arguments in concurrent logic programs, named the sharing dependence, communication dependence, and unification dependence, and proposed algorithms to analyze these program dependences. We also proposed a new program representation for concurrent logic programs, named the argument dependence net, which is a kind of arc-classified digraph to explicitly represent the three types of primary program dependencies in the programs. Based on the argument dependence net, we formally defined various notions about slicing concurrent logic programs and also proposed algorithms to compute various slices in the programs.
3.We proposed a new program representation for concurrent object-oriented programs, named the system dependence net, which is a kind of arc-classified digraph to explicitly represent various types of primary program dependencies in constructs and the structure of the constructs in the programs, and showed that once a concurrent object-oriented program is represented by its system dependence net, the slices of the program can be computed based on the net as a simple reachability problem in the net.
4.We proposed two new program representations for functional programs, named the evaluation order graph and binding evaluation graph, and showed their applications including understanding, analysis, testing, debugging, maintenance, and complexity measurement of functional programs. We are developing a tool to transform a functional program into its evaluation order graph and binding evaluation graph.

Report

(4 results)
  • 1996 Annual Research Report   Final Research Report Summary
  • 1995 Annual Research Report
  • 1994 Annual Research Report
  • Research Products

    (30 results)

All Other

All Publications (30 results)

  • [Publications] J.Cheng: "Tasking Deadlocks in Ada 95 Programs and Their Detection" Lecture Notes in Computer Science. Vol.1088. 135-146 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] J.Zhao: "Program Dependence Analysis of Concurrent Logic Programs and Its Applications" Proc.1996 ICPDS. 282-291 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] J.Zhao: "Static Slicing of Concurrent Object-Oriented Programs" Proc.IEEE-CS 20th COMPSAC. 312-320 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] 笠原義晃: "Ada並行プログラムのためのタスク従属ネットとその自動生成" 電子情報通信学会論文誌. Vol.J79-D-I,No.11. 925-935 (1996)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] J.Cheng: "Dependence Analysis of Parallel and Distributed Programs and Its Applications" Proc.1997 IEEE-CS ICAPDC. (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] J.Zhao: "Slicing Concurrent Logic Programs" in T.Ida et al (Eds.), "Functional and Logic Programming,". (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] J.Cheng and K.Ushijima: "Tasking Deadlocks in Ada 95 Programs and Their Detection" Lecture Notes in Computer Science. Vol.1088. 135-146 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] J.Zhao, J.Cheng, and K.Ushijima: "Program Dependence Analysis of Concurrent Logic Programs and Its Applications" Proc.1996 ICPDS. 282-291 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] J.Zhao, J.Cheng, and K.Ushijima: "Static Slicing of Concurrent Object-Oriented Programs" Proc.IEEE-CS 20th COMPSAC. 312-320 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Y.Kasahara, J.Cheng, and K.Ushijima: "Task dependence Net of Concurrent Ada Programs and Its Automatic Generation" Transactions of IEICE. Vol.J79-D-I,No.11. 925-935 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] J.Cheng: "Dependence Analysis of Parallel and Distributed Programs and Its Applications" Proc.1997 IEEE-CS ICAPDC. (to appear). (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] J.Zhao, J.Cheng, and K.Ushijima: "Slicing Concurrent Logic Programs" Functional and Logic Programming. (to appear). (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] J.Cheng: "Tasking Deadlocks in Ada 95 Programs and Their Detection" Lecture Notes in Computer Science. Vol.1088. 135-146 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] J.Zhao: "Program Dependence Analysis of Concurrent Logic Programs and Its Applications" Proc.1996 ICPDS. 282-291 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] J.Zhao: "Static Slicing of Concurrent Object-Oriented Programs" Proc.IEEE-CS 20th COMPSAC. 312-320 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 笠原義晃: "Ada並行プログラムのためのタスク従属ネットとその自動生成" 電子情報通信学会論文誌. Vol.J79-D-I,No.11. 925-935 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] J.Cheng: "Dependence Analysis of Parallel and Distributed Programs and Its Applications" Proc.1997 IEEE-CS ICAPDC. (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] J.Zhao: "Slicing Concurrent Logic Programs" in T.Ida et al(Eds.),“Functional and Logic Programming,". (1997)

    • Related Report
      1996 Annual Research Report
  • [Publications] Jianjun ZHAO: "Theoretical and Experimental Study of Dependence-Based Complexity Metrics for Distributed Programs" Proc. 4th ICYCS. 345-352 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Jingde CHENG: "Applications of Program Dependence Analysis in Distributed Software Engineering(Invited Talk)" Proc. ISPDS. 15-24 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Yoshiaki KASAHARA: "An Integrated Environment to Support Software Development Based on Unified Program Representations" Proc. CICS'95. 65-72 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Yoshiaki KASAHARA: "An Integrated Support Environment for Distributed Software Development Based on Unified Program Representations" Proc. 1995 APSEC. 254-263 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] Jianjun ZHAO: "Program Dependence Analysis of Concurrent Logic Programs and Its Appncations" Proc. 1996 ICPDS. (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] Jingde CHENG: "Tasking Deadlocks in Ada 95 Programs and Their Detection" Lecture Notes in Computer Science. (1996)

    • Related Report
      1995 Annual Research Report
  • [Publications] Jingde CHENG: "Entailment Calculus as a Logical Tool for Reasoning Rule Generation and Verification" Moving Towards Expert Systems Globally in the 2lst Century. 386-392 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Jingde CHENG: "Nondeterministic Parallel Control-Flow/Definition-Use Nets and Their Applications" Parallel Computing:Trends and Applications. 589-592 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Kazuaki GOSHI: "Improving the Inconsistency Processing in Annotated Logic Programming" Proc.2nd Singapore International Conference on Intelligent Systems. 243-248 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Jingde CHENG: "A Relevant Logic Approach to Automated Theorem Finding" Proc.Workshop on Automated Theorem Proving attached to International Symposium on Fifth Generation Computer Systems. 8-15 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Jianjun ZHAO: "Literal Dependence Net and Its Use in Concurrent Logic Programming Environment" Proc.Workshop on Parallel Logic Programming attached to International Symposium on Fifth Generation Computer Systems. 127-141 (1994)

    • Related Report
      1994 Annual Research Report
  • [Publications] Jianjun ZHAO: "Dependence Analysis of Concurrent Logic Programs and Its Applications" Proc.12th Internation Conference on Logic Programming. (1995)

    • Related Report
      1994 Annual Research Report

URL: 

Published: 1994-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi