March 24, 2026 at 2 PM (INRIA Lille)
Dans les années 1980 le CEA de Saclay a mis à disposition le langage de programmation ESOPE, surcouche de Fortran77 qui définit les concepts d’enregistrement (« record/struct ») et d’allocation dynamique de la mémoire. Mais le traducteur ESOPE profite à plusieurs reprises d’opérations déclarées obsolètes ou supprimées dans les dernières révisions du standard Fortran. Ainsi, depuis 2013 il est impossible de compiler le kernel du logiciel APOLLO2 avec la dernière version du compilateur Intel Fortran sans supprimer toutes les optimisations. Dans ce contexte, Framatome souhaite migrer ses codes source de ESOPE/Fortran77 vers des sources en Fortran-moderne (norme 2003 à minima). Ce projet vise donc à étudier les possibilités d’automatiser cette migration.
M. Nicolas ANQUETIL Maître de conférences Université de Lille Directeur de thèse, Mme Dalila TAMZALIT Professeure des universités Nantes Université Examinatrice, M. Stéphane DUCASSE Directeur de recherche Inria Co-directeur de thèse, M. Chouki TIBERMACINE Professeur des universités Université bretagne sud Rapporteur, M. Mathieu ACHER Professeur des universités Insa Rennes Rapporteur, M. Leandre BRAULT Framatome Invité.
français
English