Ce livre fournit les bases théoriques de la compilation des langages impératifs, fonctionnels et logiques, et en présente les principaux outils. Après une introduction aux différents aspects du sujet, ainsi qu'aux résultats fondamentaux, il traite des procédés constructifs pour la génération automatique d'analyseurs lexicaux, syntaxiques, sémantiques et de générateurs de code. Les bases théoriques de l'analyse statique des programmes sont données grâce à de nombreux exercices.
Sommaire :
Compilation des langages de programmation impératifs. Traduction des langages logiques. Traduction des langages à objets. Structure des compilateurs. Analyse lexicale. Analyse syntaxique. Analyse sémantique. Interprétation abstraite. Transformations d'arbres. Génération de code.