Précédent : La
machine à Remonter : Les implantations du Suivant : Théorie de la
Z. Benaissa étudie le partage
des expressions dans les calculs à substitutions explicites. Le
but de cette approche est de trouver des techniques simples
permettant de partager le maximum de calculs. L'objectif fixé est
d'aboutir progressivement à un interprète qui partage le calcul
de façon optimale comme J. J. Lévy l'a défini dans sa thèse et de
l'expliquer dans le langage simple du calcul des substitutions
explicites.