Task Dependence Net as a Representation for Concurrent Ada Programs

This paper proposes two new types of basic program dependences in concurrent programs, named the synchronization dependence and the communication dependence, and a new program representation for concurrent Ada programs, named the Task Dependence Net (TDN). The task dependence net can be used as a unified representation in a concurrent Ada programming environment.

[1]  Alfred V. Aho,et al.  Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.

[2]  Joseph Robert Horgan,et al.  Dynamic program slicing , 1990, PLDI '90.

[3]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1987, TOPL.

[4]  Mark Weiser,et al.  Program Slicing , 1981, IEEE Transactions on Software Engineering.

[5]  Shmuel Katz,et al.  High-level language debugging for concurrent programs , 1990, TOCS.

[6]  David W. Binkley,et al.  Interprocedural slicing using dependence graphs , 1990, TOPL.

[7]  Jingde Cheng,et al.  Logical tool of knowledge engineering: using entailment logic rather than mathematical logic , 1991, CSC '91.

[8]  Karl J. Ottenstein,et al.  The program dependence graph in a software development environment , 1984 .

[9]  Janusz W. Laski,et al.  Dynamic Program Slicing , 1988, Inf. Process. Lett..

[10]  Mark Weiser,et al.  Programmers use slices when debugging , 1982, CACM.

[11]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[12]  Lori A. Clarke,et al.  A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance , 1990, IEEE Trans. Software Eng..

[13]  Charles E. McDowell,et al.  Debugging concurrent programs , 1989, ACM Comput. Surv..

[14]  Jingde Cheng,et al.  A general framework for debugging , 1991, IEEE Software.

[15]  Jingde CHENG,et al.  A tasking deadlock detector for Ada programs , 1991, [1991] Proceedings The Fifteenth Annual International Computer Software & Applications Conference.

[16]  Keith Brian Gallagher,et al.  Using Program Slicing in Software Maintenance , 1991, IEEE Trans. Software Eng..