Langages de l'informatique
Langages de l'informatique
Langages de l'informatique
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Machine p. 146 - virtuelle Licence <strong>de</strong>s droits d’usage en page 2.<br />
Analyse sémantique<br />
<strong>Langages</strong> <strong>de</strong> l’informatique<br />
Patrick Bellot<br />
Introduction<br />
Les langages<br />
Les paradigmes<br />
Modèle impératif abstrait<br />
Boehm et Jacopini<br />
Programmation impérative<br />
Programmation fonctionnelle<br />
Programmation en logique<br />
Gestion <strong>de</strong> la mémoire<br />
Quatre types <strong>de</strong> mémoire<br />
Gérer sa mémoire<br />
Comptage <strong>de</strong> référence<br />
Syntaxe et sémantique<br />
Sémantiques<br />
Analyse lexicale<br />
La phase d’analyse sémantique effectue le contrôle <strong>de</strong>s<br />
types: une opération a-t-elle toujours le bon nombre<br />
d’arguments avec les bons types ? Le résultat <strong>de</strong> cette<br />
phase est :<br />
• un arbre <strong>de</strong> syntaxe abstraite qui est un arbre <strong>de</strong><br />
syntaxe con<strong>de</strong>nsé avec eventuellement quelques<br />
informations ;<br />
• une table <strong>de</strong>s symboles décrivant <strong>de</strong>s propriétés <strong>de</strong>s<br />
symboles du programme.<br />
Analyse syntaxique<br />
Compilation<br />
Interprétation