Habilitation à Diriger des Recherches

Formatage de documents structurés

domaine en marge des langages de programmation

traduction structure logique vers structure physique

spécification hautement non-déterministe

utilisation intensive de l'unification

pas d'édition wysiwyg

insuffisance des grammaires attribuées

programmation par contraintes