Titre : | Les compilateurs : théorie, construction, génération | Type de document : | texte imprimé | Auteurs : | Reinhard Wilhelm (1946-....), Auteur ; Dieter Maurer, Auteur ; François Thomasset, Traducteur | Editeur : | Paris : Masson | Année de publication : | 1994 | Collection : | Manuels informatiques Masson | Importance : | XII-612 p. | Présentation : | graph., couv. ill. en coul. | Format : | 24 cm | ISBN/ISSN/EAN : | 978-2-225-84615-1 | Prix : | 370 F | Note générale : | Bibliogr. p. 595-603. Index | Langues : | Français (fre) Langues originales : Allemand (ger) | Tags : | Compilateurs ( logiciels) | Index. décimale : | 005.4 Programmation et programme système | Résumé : | 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. |
Les compilateurs : théorie, construction, génération [texte imprimé] / Reinhard Wilhelm (1946-....), Auteur ; Dieter Maurer, Auteur ; François Thomasset, Traducteur . - Paris : Masson, 1994 . - XII-612 p. : graph., couv. ill. en coul. ; 24 cm. - ( Manuels informatiques Masson) . ISBN : 978-2-225-84615-1 : 370 F Bibliogr. p. 595-603. Index Langues : Français ( fre) Langues originales : Allemand ( ger) Tags : | Compilateurs ( logiciels) | Index. décimale : | 005.4 Programmation et programme système | Résumé : | 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. |
|  |