Habilitation à Diriger des Recherches

Schémas Primitifs Récursifs

collaboration avec Jacques Chazarain

• Grammaires Attribuées et Schémas de programmes
  (classe FNC, travaux de B. Courcelle & P. Franchi)
• des conditions plus naturelles
• élimination de l'unification
• une évaluation fonctionnelle incrémentale

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