Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

Interprocedural Analyses of Fortran Programs

Abstract : Interprocedural analyses (IPA) are becoming more and more common in com mercial compilers . But research on the analysis of Fortran programs is still go ing on as a number of problems are not yet satisfactorily solved and others are emerging with new language dialects. This paper presents a survey of the main interprocedural analysis techniques with an emphasis on the suitability of the analysis framework for the characteristics of the original semantic prob lem. Our experience with the pips interprocedural compiler workbench is then described. PIPS includes a make-like mechanism, PipsMake, which takes care of the interleavings between top down and bottom up analyses and allows a quick prototyping of new interprocedural analyses Intensive summarization is used to reduce storage requirements and achieve reasonable analysis times when deal ing with real life applications. The speed accuracy tradeos made for pips are discussed in the light of other interprocedural tools .
Type de document :
Article dans une revue
Liste complète des métadonnées

Littérature citée [77 références]  Voir  Masquer  Télécharger

https://hal-mines-paristech.archives-ouvertes.fr/hal-00752825
Contributeur : Claire Medrala <>
Soumis le : vendredi 16 novembre 2012 - 15:11:19
Dernière modification le : jeudi 24 septembre 2020 - 16:36:01
Archivage à long terme le : : samedi 17 décembre 2016 - 11:21:22

Fichier

A-303.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Béatrice Creusillet, François Irigoin. Interprocedural Analyses of Fortran Programs. Parallel Computing, Elsevier, 1997, Vol. 24 (No. 3-4), pp.629-648. ⟨10.1016/S0167-8191(98)00028-3⟩. ⟨hal-00752825⟩

Partager

Métriques

Consultations de la notice

277

Téléchargements de fichiers

363