|
 
|
[BF97] Application of formal methods to the development of a software maintenance tool
Conférence Internationale avec comité de lecture : IEEE Conf. on Automated Software Engineering, Lake Tahoe, January 1997, pp.162-171,
motcle:
Résumé:
Partial evaluation is an optimization technique traditionally used in compilation.
We have adapted this technique to the understanding of
scientific application programs during their
maintenance and we have implemented a tool. This tool analyzes Fortran 90 application programs
and performs an interprocedural pointer analysis. This paper presents how we have specified this analysis with different formalisms
(inference rules with global definitions and set and relational operators). Then we present the tool implementing these specifications. It has
been imp lemented in a generic programming environment and a graphical interface has been developed to visualize the information computed
during the partial evaluation (values of variables, already analyzed procedures, scope of variables, removed statements, ...).
Keywords:
program understanding, partial evaluation, formal specification, inter procedural analysis, alias analysis
BibTeX
| @inproceedings { | |||
| BF97, | |||
| title | = | "{Application of formal methods to the development of a software maintenance tool}", | |
| author | = | " S. Blazy and P. Facon ", | |
| booktitle | = | "{IEEE Conf. on Automated Software Engineering, Lake Tahoe}", | |
| year | = | 1997, | |
| month | = | "January", | |
| pages | = | "162-171", | |
| } | |||
