Langages fonctionnels: Modélisation formelle des
différents modes d'évaluation
Dans ce document, une modélisation formelle des
différentes modes d'évaluation rencontrés dans
les langages fonctionnels --- évaluation stricte, indulgente et
paresseuse --- est présentée. Cette présentation
utilise un contexte d'évaluation entièrement
parallèle: dans notre modèle, aucune contrainte
séquentielle d'exécution n'est donc imposée,
à moins que cela soit absolument nécessaire pour
respecter la stratégie d'évaluation
modélisée. Notre modélisation est
présentée à l'aide de la notation LOTOS.
L'intérêt de cette notation est qu'elle nous permet de
mieux identifier comment les différents modes
d'évaluation se distinguent en termes de contraintes
séquentielles d'exécution.
Pour obtenir la version postscript
Cliquez
ici pour obtenir la version postscript.