Environnement et mémoire: sémantique des déclarations

• Toute déclaration introduit une liaison entre l'identificateur déclaré et le type et la valeur spécifiés.
  

• Pour lire un programme il est nécessaire de savoir comprendre la liaison des identificateurs à tout moment, à savoir, si un symbole x est utilisé dans un programme, on veut pouvoir dire:
  • où est-il déclaré?
  • avec quelle valeur (initiale) et avec quel type?

• Etat du programme: avec ce nom nous désignons l'ensemble des liaisons et des valeurs courantes des identificateurs du programme à un moment donné. Le changement de l'état du programme est un conséquence de l'exécution.

Exemple: Dans le programme suivant, x et a sont liés par les déclarations qui precèdent les actions où x+a apparaît.

a: constant integer:=3;
x: contant integer:=7;
begin
... x+a...
end

Représentation de liaisons

• Environnement: table de liaisons utilisé (par le compilateur) pour stocker les identificateurs déclarés avec leur type et valeurs liés initialement.
  

• Constantes et variables dans l'environnement:
  • constante: lié dans l'environnement à sa valeur declarée. Si a est une constante déclarée avec valeur 3, nous noterons sa liaison (de valeur) dans l'environnement par a = 3
    

  • variable: liée dans l'environnement à un emplacement de la mémoire qui contient sa valeur courante. Le contenu de cet emplacement peut changer pendant l'exécution. Si x est une variable déclarée avec valeur 7, nous noterons sa valeur liée dans l'environnement par x <- 7 . Si elle est déclarée mais non initialisée, nous noterons dans l'environnement
    x <- ?.
    

Exemple: L'environnement pour a et x dans le programme précedent est

a = 3
x <- 7