Habilitation à Diriger des Recherches

Grammaires Attribuées: stratégies pré-compilées et incrémentalité

collaboration avec Didier Parigot

• élimination de l'unification
• évaluation optimisée et incrémentale
• production d'outils autonomes

• seulement certaines spécifications
• pas dépassé le stade du prototype