LES COMPILATEURS.Théorie, construction, génération - Maurer Dieter

. .

Résumé :
Ce livre fournit aux étudiants en informatique les bases théoriques relatives à la compilation des langages impératifs, fonctionnels et logiques, et présente en outre les principaux outils utiles dans ce domaine. Les cinq premiers chapitres sont une introduction aux différents aspects du sujet, ainsi qu'aux résultats fondamentaux. Les sept chapitres suivants présentent des procédés constructifs pour la génération automatique d'analyseurs lexicaux, syntaxiques, sémantiques et de générateurs de code. Outre la traduction des langages de programmation conventionnels impératifs tels que Fortran, C, ou Pascal, on considère également la compilation de langages à objets (Eiffel, C++), fonctionnels (Lisp, Miranda) et logiques (Prolog). En ce qui concerne la génération de code, les architectures modernes de machines possédant un parallélisme à grain fin sont prises en compte. Les auteurs fournissent les bases théoriques de l'analyse statique des programmes, élément essentiel aussi bien de l'aide au développement des logiciels que de la production de codes efficaces. Les connaissances nécessaires sont tirées de la théorie des langages formels et de la théorie des automates. De nombreux exercices complètent le cours, permettant à l'étudiant un contrôle efficace de ses connaissances.

Biographie:
Reinhard WILHELM est professeur au département d'informatique de l'université de la Sarre à Sarrebrück (Allemagne). Dieter MAURER a soutenu une thèse au département d'informatique de l'université de la Sarre, et il est actuellement ingénieur chez HighTec EDV Systeme GmbH à St. lngbert (Sarre, Allemagne). François THOMASSET, le traducteur, est directeur de recherche à l'INRIA (Rocquencourt).

Sommaire:
["Compilation des langages de programmation impératifs","Traduction des langages fonctionnels","Traduction des langages logiques","Traduction des langages à objets","Structure des compilateurs","Analyse lexicale","Analyse synthaxique","Analyse sémantique","Interprétation abstraite","Transformation d'arbres","Génération de code."]