Titre : |
Les compilateurs : théorie, construction, génération |
Type de document : |
texte imprimé |
Auteurs : |
Reinhard Wilhelm, Auteur ; Dieter Maurer, Auteur ; François Thomasset, Traducteur |
Editeur : |
paris : Masson |
Année de publication : |
1994 |
Collection : |
Manuels informatiques Masson, ISSN 02496992 |
Importance : |
XII-612 p. |
Présentation : |
graph., couv. ill. en coul. |
Format : |
24 cm |
ISBN/ISSN/EAN : |
978-2-225-84615-1 |
Note générale : |
Bibliogr. p. 595-603. Index |
Langues : |
Français (fre) Langues originales : Français (fre) |
Mots-clés : |
Compilateurs ( logiciels) |
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. |
Les compilateurs : théorie, construction, génération [texte imprimé] / Reinhard Wilhelm, Auteur ; Dieter Maurer, Auteur ; François Thomasset, Traducteur . - paris : Masson, 1994 . - XII-612 p. : graph., couv. ill. en coul. ; 24 cm. - ( Manuels informatiques Masson, ISSN 02496992) . ISBN : 978-2-225-84615-1 Bibliogr. p. 595-603. Index Langues : Français ( fre) Langues originales : Français ( fre)
Mots-clés : |
Compilateurs ( logiciels) |
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. |
|  |