Notations

abstraction concrète

Symboles utilisés pour décrire le modèle de la machine Caml :

Pour expliquer certains aspects du fonctionnement de la «machine Caml », nous avons adopté les mêmes notations que celles qui sont proposées dans le livre de cours de Thérèse Accart Hardin et Véronique Donzeau-Gouge Viguié : «Concepts et outils de la programmation. Du fonctionnel à l’impératif avec Caml et Ada».

Environnement Les environnements Caml sont représentés à l’intérieur des symboles suivants : «» : début d’environnement, et «» : fin d’environnement .

Mémoire Les cellules de la mémoire de la machine Caml sont représentées à l’intérieur des symboles suivants : «» : début de la liste des cellules de la mémoire, et «» : fin de la liste des cellules de la mémoire.

dernière modification : 06/12/96