next up previous
Next: La généricité structurelle Up: Les grammaires attribuées Previous: Coupleur statique

Coupleur dynamique

 

La notion de coupleur dynamique [RPJ94] est une forme de déforestation dynamique lors de l'évaluation (à l'exécution). Nous n'avons pas eu encore le temps d'étudier plus précisément cette possibilité. Il reste beaucoup d'inconnues sur cette approche en terme l'efficacité en temps et en place mémoire même si cette dernière semble assez simple dans sa réalisation (implantation).



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