A System Dependence Net generator for Ada programs

An explicit representation of various dependence relationships in a program has many applications in software engineering. The System Dependence Net is a model to represent program dependences in a concurrent program which consists of multiple procedures. The paper explains how to generate a System Dependence Net for Ada 95 programs automatically.

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

[2]  Jingde Cheng,et al.  Process dependence net of distributed programs and its applications in development of distributed systems , 1993, Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93.

[3]  Alfred Strohmeier,et al.  ASIS for GNAT: Goals, Problems and Implementation Strategy , 1995, Ada-Europe.

[4]  David W. Binkley,et al.  Program slicing , 2008, 2008 Frontiers of Software Maintenance.

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

[6]  Jingde Cheng,et al.  Task dependence nets for concurrent systems with Ada 95 and its applications , 1997, TRI-Ada '97.

[7]  Edmond Schonberg,et al.  The GNAT project: a GNU-Ada 9X compiler , 1994, TRI-Ada '94.

[8]  Jingde Cheng.  Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications , 1993, PARCO.

[9]  C. Daniel Cooper.  ASIS-based code analysis automation , 1997, ALET.

[10]  Martin J. Stift.  Astrophysical Software Engineering in Ada , 1996 .

[11]  John G. P. Barnes,et al.  Programming in Ada 95 , 1995 .

[12]  Alfred Strohmeier,et al.  Architecture of ASIS: a tool to support code analysis of complex systems , 1997, ALET.

[13]  Jianjun Zhao Jingde Cheng Kazuo.  System Dependence Net : An Interprocedural Program Dependence Representation for occam 2 Programs , 1997 .

[14]  John Barnes,et al.  Programming in Ada95 , 1995 .