Program dependence analysis of concurrent logic programs and its applications

Jianjun Zhao, Jingde Cheng, Kazuo Ushijima

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

7 被引用数 (Scopus)

抄録

In this paper a formal model for program dependence analysis of concurrent logic programs is proposed with the following contributions. First, two language-independent program representations are presented for explicitly representing control flows and/or data flows in a concurrent logic program. Then based on these representations, program dependences between literals in concurrent logic programs are defined formally, and a dependence-based program representation named the Literal Dependence Net (LDN) is presented for explicitly representing primary program dependences in a concurrent logic program. Finally, as applications of the LDNs, some important software engineering activities including program slicing, debugging, testing, complexity measurement, and maintenance are discussed in a programming environment for concurrent logic programs.

本文言語英語
ホスト出版物のタイトルProceedings of the Internatoinal Conference on Parallel and Distributed Systems - ICPADS
出版社IEEE
ページ282-291
ページ数10
出版ステータス出版済み - 1996
イベントProceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96) - Tokyo, Jpn
継続期間: 6 3 19966 6 1996

その他

その他Proceedings of the 1996 International Conference on Parallel and Distributed Systems (ICPADS'96)
CityTokyo, Jpn
Period6/3/966/6/96

All Science Journal Classification (ASJC) codes

  • Hardware and Architecture

フィンガープリント 「Program dependence analysis of concurrent logic programs and its applications」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル