Habilitation à Diriger des Recherches

Représentation dataflow pour programmes Eiffel

  • définition d'un format intermédiaire pour Eiffel (IF)
  • IF1 ? extension de IF1 ? Suif ?
  • traduction Eiffel -> IF
  • traduction IF -> Eiffel//
  • contexte interactif
  • aide à la parallélisation de programmes Eiffel

  • applications possibles autour de Java