Le calcul symbolique

1. Les liens statiques

2. Vue ascendante : la fermeture lexicale

3. Vue descendante : la fermeture contextuelle

4. Vue mixte

5. Les difficultés

2. Vue ascendante : la fermeture lexicale

Comme généralisation du cas précédent, on peut énoncer :

Par exemple, en reprenant les définitions de l'exemple précédent :

• Le contexte de définition de u est ctx :

  
  

  qui est le contexte depuis lequel on "voit" le texte u (c'est le contexte d'évaluation du texte a).

  
  
• Le premier contexte englobant est :

  
  

  qui est le contexte d'évaluation du texte txt1.

  Depuis txt1, on accède à u par :
  use u ref a
  qui place l'environnement de définition de a dans le contexte, du fait de la référence, et reconstruit le contexte ctx.

  
  
• Le deuxième contexte englobant est :

  
  

  qui serait le contexte d'évaluation d'un texte glo, lequel serait le texte qui définit txt1, txt2 et txt3.

  Depuis glo, on accède à u par :
  use u ref a ref txt1
  qui place, dans l'ordre, les environnements de définition de a puis de txt1, et reconstruit donc aussi le contexte ctx.