Langages de l'informatique
Langages de l'informatique
Langages de l'informatique
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Machine p. 152 - virtuelle Licence <strong>de</strong>s droits d’usage en page 2.<br />
Les optimisations<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 />
Analyse syntaxique<br />
Compilation<br />
On travaille sur les quadruplets.<br />
• Optimiseur <strong>de</strong> blocs. Effectue <strong>de</strong>s optimisations<br />
locales aux blocs d’instructions.<br />
• Optimiseur global. Des optimisations plus<br />
globales. Par exemple sur les sauts ou sur les<br />
positions <strong>de</strong>s blocs (DataFlow analysis) , on peut<br />
les déplacer pour minimiser le nombre <strong>de</strong> sauts..<br />
...<br />
10 : if (0 = 0) goto 50<br />
...<br />
...<br />
23 : if (x < y) goto 10<br />
...<br />
...<br />
Interprétation