Les transparents du cours - PPS
Les transparents du cours - PPS
Les transparents du cours - PPS
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Le typage dans un compilateur<br />
Ltypé L1 typé L2 typé L3 Typage T2 T3<br />
typé<br />
◮ Traditionnellement, le typage est une des premières phases des compilateurs.<br />
◮ Dans ce cadre, il sert à vérifier une condition de bonne formation sur laquelle<br />
le compilateur s’appuie aveuglement par la suite.<br />
⇒ Qu’arrive-t-il si une phase de compilation est incorrecte ?<br />
⇒ Il est plus sûr d’implanter des transformations préservant le bon typage. On<br />
élimine ainsi de nombreuses erreurs.