Specifying and automatically generating a specialization tool for Fortran 90

Abstract : 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 a dynamic semantics of Fortran~90 and a partial evaluation process, both with various formalisms (inference rules with global definitions and set and relational operators) and how the partial evaluation has been manually derived from the dynamic semantics. The guidelines for proving the correctness of the partial evaluation with respect to the dynamic semantics are introduced in this paper. The tool implementing the specifications is also detailed. It has been implemented 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, etc.).
Type de document :
Article dans une revue
Journal of Automated Software Engineering, Springer, 2000, 7 (4), pp.345-376
Liste complète des métadonnées

https://hal.inria.fr/inria-00108501
Contributeur : Sandrine Blazy <>
Soumis le : dimanche 22 octobre 2006 - 08:38:04
Dernière modification le : dimanche 22 octobre 2006 - 08:52:04
Document(s) archivé(s) le : mardi 6 avril 2010 - 20:23:45

Fichiers

Identifiants

  • HAL Id : inria-00108501, version 1

Collections

Citation

Sandrine Blazy. Specifying and automatically generating a specialization tool for Fortran 90. Journal of Automated Software Engineering, Springer, 2000, 7 (4), pp.345-376. 〈inria-00108501〉

Partager

Métriques

Consultations de la notice

64

Téléchargements de fichiers

63