Habilitation à Diriger des Recherches

Un ensemble d'applications:

Manipulation de documents

Héritage et liaison dynamique en Eiffel

Activités concurrentes en Eiffel//

Sémantique non stricte en Sisal

Transformations de graphes IF1