Habilitation à Diriger des Recherches

Sémantique dynamique d'un langage à objets

vrai langage à objets (envoi de messages, héritage, polymorphisme, liaison dynamique)

combinaison complexe renommage-redéfinition

définition formelle + algorithme dérivé

pas de structure intermédiaire

spécification non-déterministe

contexte interactif, utilisation de mémo-fonctions

a.f