“…Les instructions élémentaires en question correspondent aux structures de contrôle d'EXEL : itération, sortie indexée, alternative et composition. C'est dans la sémantique de l'alternative proposée en [4] ce qui est presque, mais pas tout à fait le résultat souhaité. En effet, de par la définition récursive de o E , une instruction n'est exécutée que si le sommet de la pile de contexte x est la valeur t; en particulier afin que le prédicat a puisse porter sur l'état de la mémoire, il faut avant son évaluation dépiler la valeur t au sommet de x, puis après cette évaluation la restaurer afin d'exécuter o E (sé x ) ou o E {sé 2 ) selon la valeur de a trouvée.…”