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.