Travaux Théoriques

• Rappel sur la notion de grammaire attribuée
• Présentation des travaux théoriques
• Transformation des grammaires attribuées : Classes de grammaires attribuées
• Analyse de flot de grammaire
• Optimisation mémoire
• Évaluation incrémentale
• Évaluateurs d'attributs sur machines parallèles
• Généricité dans les Grammaires Attribuées
• La composition descriptionnelle (ou méta-composition) des GA
• Les Grammaire Attribuée Dynamiques : une nouvelle vision des GA
• Mises à jour destructives dans les GA
• Relation avec la programmation fonctionnelle
  • Programmation dirigée par la structure et déforestation
  • Évaluation indulgente
  • Sémantique dénotationnelle