Les transparents du cours - PPS
Les transparents du cours - PPS
Les transparents du cours - PPS
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Un système de type pour Clovis<br />
e ::= Expression<br />
| x, f , . . . Variable<br />
| lookup x Extraction dans l’environnement<br />
| 0, 1, . . . , Entier<br />
| let x = e in e Définition locale<br />
| apply e e Application<br />
| closure{x = e|x ⊲ e} Construction de fermeture<br />
| fix x. e Point fixe<br />
v ::= Valeurs<br />
| 0, 1, . . . , Entier<br />
| closure{ρ|x ⊲ e} Fermeture<br />
◮ Le système de type de Hamlet s’applique immédiatement.<br />
⇒ Fournit-il les mêmes garanties en termes de sûreté de l’exécution ?