Wilhelm Reinhard Ordre des livres

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.