Le stage s'est déroulé du 1er avril au 30 juin 97 au sein de SIMULOG à Sophia-Antipolis qui est une société d'Informatique Scientifique spécialisée en modélisation, simulation et optimisation.
Le stage s'est déroulé du 1er avril au 30 juin 97 au sein de SIMULOG à Sophia-Antipolis qui est une société d'Informatique Scientifique spécialisée en modélisation, simulation et optimisation.
Le stage a consisté à implanter le langage TrfL dans FORESYS. FORESYS (FORtran Engineering SYStem) est un logiciel pour l'analyse et la transformation de programmes écrits en langage Fortran. Le système FORESYS comprend une gamme d'outils spécialisés fondés sur une technologie avancée qui permet de concilier les exigences d'une interface interactive intuitive et d'une analyse du langage de haut niveau.
TrfL est un langage de transformation de programmes avec contraintes sémantiques.
Le but étant d'effectuer des restructurations (migration FORTRAN77 vers FORTRAN90), des optimisations ou bien de l'instrumentation de code FORTRAN.
Par exemple on veut changer les constructions if ... elseif ... elseif ... end if satisfaisant certaines conditions par des select case (construction qui n'existe pas en FORTRAN77).
Voici un programme FORTRAN avant transformation.
Et une des règles qui effectue cette transformation
