next up previous
Next: Évaluation indulgente et Up: Les grammaires attribuées Previous: déforestation et la

Analyse statique pour la mise à jour destructive

 

Dans [Dur94], nous avons étudié le problème de la mise à jour destructive en nous plaçant résolument dans le cadre des grammaires attribuées. J'espère qu'avec Étienne DURIS nous pourrons poursuivre ce travail et pouvoir élargir notre champs d'investigation avec l'approche par grammaire attribuée dynamique et si nous arrivons à trouver le bon cadre, ``chaîne de compilation fonctionnelle'' pour instancier ces techniques. Ce travail doit être considéré comme une contribution à nos travaux de la section 4 sur l'analyse de flot de données.



Didier Parigot
Mon Apr 7 10:23:43 MET DST 1997