Concurrent Ada dead statements detection

Zhenqiang Chen, Baowen Xu, Hongji Yang, Jianjun Zhao

研究成果: Contribution to journalConference article

4 引用 (Scopus)

抜粋

In a concurrent environment, due to schedule, race conditions and synchronisation among concurrent units, some program statements may never be executed. Such statements are dead statements and have no influence on the programs except making them more difficult to analyse and understand. Since the execution of concurrent programs is non-deterministic, it is hard to detect dead statements. In this paper, we develop a data flow approach to detect dead statements for concurrent Ada programs. In this method, concurrent Ada programs are represented by concurrent control flow graphs in a simple and precise way, and detecting rules are extracted by analysing program behaviours. Based on these rules, a dead statement detecting algorithm is proposed.

元の言語英語
ページ(範囲)733-741
ページ数9
ジャーナルInformation and Software Technology
44
発行部数13
DOI
出版物ステータス出版済み - 10 1 2002
外部発表Yes
イベントSCAM - Montreal, Alta., カナダ
継続期間: 10 1 200210 1 2002

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Science Applications

フィンガープリント Concurrent Ada dead statements detection' の研究トピックを掘り下げます。これらはともに一意のフィンガープリントを構成します。

  • これを引用