Références: [CM86] Lors du stage de [Lei96], nous avons juste vérifié que l'introduction des grammaires attribuées dynamiques était la bonne approche pour cette transformation [Gan80]. J'aimerais pousser plus loin cette étude, d'une part en utilisant nos travaux de la section 3.1 pour préciser formellement la transformation et surtout regarder si les mécanismes de preuves de la sémantique dénotationnelle s'expriment aussi naturellement sur la spécification en grammaire attribuée résultante.