“doc” (Col. : Science Sup 17x24) — 2007/7/19 — 18:18 — page 63 — #73
i
i
i
i
i
i
i
i
2.4 La sémantique du langage noyau
63
2.4.3 Les instructions qui ne suspendent pas
Nous donnons d’abord la sémantique des instructions qui ne suspendent jamais.
L’instruction skip
L’instruction sémantique est :
(skip, E)
L’exécution dépile simplement l’instruction. L’exécution est alors complète.
La composition séquentielle
L’instruction sémantique est :
(s 1 s 2 , E)
L’exécution fait les actions suivantes (dans cet ordre) :
– Empiler (s 2 , E).
– Empiler (s 1 , E).
L’instruction s 1 , qui est au sommet de la pile, sera donc exécutée avant s 2 . La
composition séquentielle permet donc d’exécuter les instructions selon leur ordre dans
le programme.
La déclaration de variable (l’instruction local)
L’instruction sémantique est :
(local x in s end, E)
L’exécution fait les actions suivantes :
– Créer une nouvelle variable x en mémoire.
– Calculer E
= E + {{x → x}. E
est le même que E sauf qu’il ajoute une
correspondance de x vers x.
– Empiler (s, E
).
Le lien variable-variable
L’instruction sémantique est :
(x 1 = x 2 , E)
L’exécution fait les actions suivantes :
– Lier E(x 1 ) et E(x 2 ) dans la mémoire.
© Dunod – La photocopie non autorisée est un délit