Habilitation à Diriger des Recherches

Syntaxe et Sémantique au service des outils

Syntaxe: un succès incontestable

Sémantique: des efforts sont encore nécessaires

• intérêt non admis
• performances des outils générés
• passage à l'échelle