Sciweavers

Share
DAGSTUHL
1996

An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs

9 years 12 days ago
An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs
This paper reports on an approachfor improvingthe understandingof old programs which have become very complex due to numerous extensions. We have adapted partial evaluation techniques for program understanding. Thesetechniques mainly use propagationthrough statementsand simplificationsof statements. We focus here on the automaticinterproceduralanalysis and we specify both tasks (propagationand simplification)for call-statements,in termsof inferencerules with notations taken from the formal specificationlanguagesB and VDM. We describe how we have implementedthat interproceduralanalysis in a tool, and howit can be used to improveprogramunderstanding.The difficultyofthat analysis is due to the lack of well defined interproceduralmechanismsand the complexityof visibility rules in Fortran.
Sandrine Blazy, Philippe Facon
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1996
Where DAGSTUHL
Authors Sandrine Blazy, Philippe Facon
Comments (0)
books