An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs

This paper reports on an approach for improving the understanding of old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techniques for program understanding. These techniques mainly use propagation through statements and simplifications of statements.

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

[2]  Hausi A. Müller,et al.  Programmable Reverse Engineering , 1994, Int. J. Softw. Eng. Knowl. Eng..

[3]  Sandrine Blazy,et al.  Partial evaluation as an aid to the comprehension of Fortran programs , 1993, [1993] IEEE Second Workshop on Program Comprehension.

[4]  Peter Sestoft,et al.  Partial evaluation and automatic program generation , 1993, Prentice Hall international series in computer science.

[5]  G. A. Venkatesh,et al.  The semantic approach to program slicing , 1991, PLDI '91.

[6]  Robert Glück,et al.  Partial Evaluation of Numerical Programs in Fortran , 1994, PEPM.

[7]  Norman Wilde,et al.  Software reconnaissance: Mapping program features to code , 1995, J. Softw. Maintenance Res. Pract..

[8]  Sandrine Blazy,et al.  Software maintenance: an analysis of industrial needs and constraints , 1992, Proceedings Conference on Software Maintenance 1992.

[9]  Gilles Kahn,et al.  Natural Semantics , 1987, STACS.

[10]  Carlo Ghezzi,et al.  Software Specialization Via Symbolic Execution , 1991, IEEE Trans. Software Eng..

[11]  Sandrine Blazy,et al.  SFAC, a tool for program comprehension by specialization , 1994, Proceedings 1994 IEEE 3rd Workshop on Program Comprehension- WPC '94.

[12]  Anneliese Amschler Andrews,et al.  Dynamic code cognition behaviors for large scale code , 1994, Proceedings 1994 IEEE 3rd Workshop on Program Comprehension- WPC '94.