Habilitation à Diriger des Recherches

Transformations de programmes

  • conception d'un langage pour décrire des transformations syntaxiques et sémantiques
  • langage à base de règles
  • pattern-matching sophistiqué
  • composition des transformations
  • contexte batch et interactif
  • performances raisonnables

  • applications multiples:
    • parallélisation de programmes Eiffel
    • maintenance de code Fortran
    • optimisations de bibliothèques C++