Habilitation à Diriger des Recherches

Objectifs à moyen terme

Parallélisation de programmes à objets

Autres modèles sémantiques pour Eiffel//

Représentation dataflow pour programmes à objets

Langage de description de transformations de programmes