Habilitation à Diriger des Recherches

Une synthèse à propos de l'expressivité :

• versatilité: small-step & big-step
• filtrage et unification fondamentaux
  (navigation + contraintes)
• le non-déterminisme évite de décrire le comment

• expression trop verbeuse: il faut tout décrire
• pas de bibliothèques prédéfinies