A partir de cette page vous pouvez :
indexint
| Retourner au premier écran avec les étagères virtuelles... |
Détail de l'indexation
005 Ouvrages de la bibliothèque en indexation 005.453
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche Interroger des sources externesCompilateurs avec C++ / Jacques Menu (1994)
Titre : Compilateurs avec C++ : du concept à la réalisation avec des langages objets Type de document : texte imprime Auteurs : Jacques Menu Editeur : Paris : Wesley Année de publication : 1994 Importance : VI-406p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-87908-092-5 Note générale : Bibliogr. p. 395-398. Index Langues : Français Mots-clés : Programmation orientée objets (informatique) Compilation (informatique) Compilateurs (logiciels) C plus-plus (langage de programmation) Interpréteurs (logiciels) Index. décimale : 005.453 Résumé : Un compilateur est un traducteur automatique d'emploi très courant en informatique. Il convertit une spécification, dite " forme source ", en une autre, dite " forme objet ", mieux adaptée à ce que l'on désire faire. Le cas usuel est celui où la forme source est un texte dans un langage de programmation et la forme objet des tables de code binaire pour un processeur du marché. Ce livre présente de manière pragmatique les techniques d'écriture des compilateurs. Les aspects théoriques sont évoqués de manière succinte lorsqu'ils ont un intérêt pratique. De nombreux exemples et figures illustrent la matière traitée. Au sommaire : - les concepts fondamentaux de syntaxe et de sémantique, ainsi que les notions de machine informatique, de compilation et d'interprétation ; - les méthodes d'analyse lexicale et syntaxique les plus répandues, y compris un exposé complet des possibilités des outils lex et yacc ; - les techniques permettant de réaliser l'analyse sémantique, et en particulier l'inférence (déduction automatique) des types ; - les procédés d'évaluation des expressions et des paramètres passés par valeur, par nom et par besoin (évaluation paresseuse) ; - la structuration de l'environnement d'exécution des programmes pour mettre en oeuvre les appels de fonctions, les passages de paramètres et la récursion ; - la synthèse du code pour une machine informatique donnée. Les différentes techniques de compilation présentées sont mises en oeuvre pour implanter Formula, un petit langage créé par l'auteur pour les besoins de ce livre. Les langages choisis pour écrire les algorithmes correspondants sont C++, en s'appuyant sur l'orientation objets, et ponctuellement Prolog. Compilateurs avec C++ propose aux professionnels et aux étudiants en informatique un point de vue moderne et synthétique sur le fonctionnement des compilateurs. Il est aussi utile aux personnes intéressées par l'analyse automatique de textes. Permalink : ./index.php?lvl=notice_display&id=13542 Compilateurs avec C++ : du concept à la réalisation avec des langages objets [texte imprime] / Jacques Menu . - Paris : Wesley, 1994 . - VI-406p. : ill. ; 24 cm.
ISBN : 978-2-87908-092-5
Bibliogr. p. 395-398. Index
Langues : Français
Mots-clés : Programmation orientée objets (informatique) Compilation (informatique) Compilateurs (logiciels) C plus-plus (langage de programmation) Interpréteurs (logiciels) Index. décimale : 005.453 Résumé : Un compilateur est un traducteur automatique d'emploi très courant en informatique. Il convertit une spécification, dite " forme source ", en une autre, dite " forme objet ", mieux adaptée à ce que l'on désire faire. Le cas usuel est celui où la forme source est un texte dans un langage de programmation et la forme objet des tables de code binaire pour un processeur du marché. Ce livre présente de manière pragmatique les techniques d'écriture des compilateurs. Les aspects théoriques sont évoqués de manière succinte lorsqu'ils ont un intérêt pratique. De nombreux exemples et figures illustrent la matière traitée. Au sommaire : - les concepts fondamentaux de syntaxe et de sémantique, ainsi que les notions de machine informatique, de compilation et d'interprétation ; - les méthodes d'analyse lexicale et syntaxique les plus répandues, y compris un exposé complet des possibilités des outils lex et yacc ; - les techniques permettant de réaliser l'analyse sémantique, et en particulier l'inférence (déduction automatique) des types ; - les procédés d'évaluation des expressions et des paramètres passés par valeur, par nom et par besoin (évaluation paresseuse) ; - la structuration de l'environnement d'exécution des programmes pour mettre en oeuvre les appels de fonctions, les passages de paramètres et la récursion ; - la synthèse du code pour une machine informatique donnée. Les différentes techniques de compilation présentées sont mises en oeuvre pour implanter Formula, un petit langage créé par l'auteur pour les besoins de ce livre. Les langages choisis pour écrire les algorithmes correspondants sont C++, en s'appuyant sur l'orientation objets, et ponctuellement Prolog. Compilateurs avec C++ propose aux professionnels et aux étudiants en informatique un point de vue moderne et synthétique sur le fonctionnement des compilateurs. Il est aussi utile aux personnes intéressées par l'analyse automatique de textes. Permalink : ./index.php?lvl=notice_display&id=13542 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP08/1 COMP08 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP08/2 COMP08 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Compilateurs : cours et exercices corrigés Type de document : texte imprime Auteurs : Dick Grune, Auteur ; Bal, Henri E., Auteur ; Jacobs, Ceriel J. H., Auteur ; Lecarme, Olivier, Traducteur ; Fédèle, Carine, Traducteur Editeur : Paris : Dunod Année de publication : impr. 2002 Collection : Science Sup Importance : 774 p. Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-005887-7 Note générale : Des solutions aux exercices, tous les diagrammes et tout le code sont accessibles (en anglais) sur le site http://www.wiley.com/wileychi/grune. - Trad. de : "Modern compiler design". - La couv. porte en plus "2e cycle, IUT, écoles d'ingénieurs"
Bibliographie p. [729]-741. Index. GlossaireLangues : Français Mots-clés : Compilateurs Implémentations Optimisation Automatisation Code intermidiaire Memoire Programmes Index. décimale : 005.453 Résumé : Les compilateurs sont des composants vitaux du logiciel de base d'un ordinateur : ils traduisent les programmes rédigés dans des langages de haut niveau en commandes de bas niveau que la machine peut comprendre et exécuter. Cet ouvrage s'intéresse non seulement aux techniques utilisées pour les langages impératifs ou procéduraux tels que C ou Pascal, mais couvre également les techniques de compilation utilisées pour les langages orientés objet, fonctionnels, logiques et parallèles. Rédigé dans un style intuitif, illustré par de nombreux exemples pratiques, il met l'accent sur les techniques essentielles, classiques ou plus récentes, communes à tous les paradigmes de programmation, afin de donner au lecteur les connaissances nécessaires à la construction de compilateurs modernes. Il insiste aussi sur les aspects pratiques des techniques d'implémentation et d'optimisation, y compris les outils d'automatisation de la construction des compilateurs. Cet ouvrage est destiné aux étudiants des IUT et de deuxième cycle d'informatique, ainsi qu'aux élèves des écoles d'ingénieurs. Des solutions aux exercices, tous les diagrammes et tout le code sont accessibles (en anglais) sur le site www.wiley.com/wileychi/grune. Note de contenu : Du texte du programme à l'arbre abstrait
Décoration de l'arbre abstrait : le contexte
Traitement du code intermédiaire
Gestion de la mémoire
Programmes impératifs et orientés objet
Programmes fonctionnels
Programmes logiques
Programmes parallèles et distribuésPermalink : ./index.php?lvl=notice_display&id=13554 Compilateurs : cours et exercices corrigés [texte imprime] / Dick Grune, Auteur ; Bal, Henri E., Auteur ; Jacobs, Ceriel J. H., Auteur ; Lecarme, Olivier, Traducteur ; Fédèle, Carine, Traducteur . - Paris : Dunod, impr. 2002 . - 774 p. : ill. ; 24 cm.. - (Science Sup) .
ISBN : 978-2-10-005887-7
Des solutions aux exercices, tous les diagrammes et tout le code sont accessibles (en anglais) sur le site http://www.wiley.com/wileychi/grune. - Trad. de : "Modern compiler design". - La couv. porte en plus "2e cycle, IUT, écoles d'ingénieurs"
Bibliographie p. [729]-741. Index. Glossaire
Langues : Français
Mots-clés : Compilateurs Implémentations Optimisation Automatisation Code intermidiaire Memoire Programmes Index. décimale : 005.453 Résumé : Les compilateurs sont des composants vitaux du logiciel de base d'un ordinateur : ils traduisent les programmes rédigés dans des langages de haut niveau en commandes de bas niveau que la machine peut comprendre et exécuter. Cet ouvrage s'intéresse non seulement aux techniques utilisées pour les langages impératifs ou procéduraux tels que C ou Pascal, mais couvre également les techniques de compilation utilisées pour les langages orientés objet, fonctionnels, logiques et parallèles. Rédigé dans un style intuitif, illustré par de nombreux exemples pratiques, il met l'accent sur les techniques essentielles, classiques ou plus récentes, communes à tous les paradigmes de programmation, afin de donner au lecteur les connaissances nécessaires à la construction de compilateurs modernes. Il insiste aussi sur les aspects pratiques des techniques d'implémentation et d'optimisation, y compris les outils d'automatisation de la construction des compilateurs. Cet ouvrage est destiné aux étudiants des IUT et de deuxième cycle d'informatique, ainsi qu'aux élèves des écoles d'ingénieurs. Des solutions aux exercices, tous les diagrammes et tout le code sont accessibles (en anglais) sur le site www.wiley.com/wileychi/grune. Note de contenu : Du texte du programme à l'arbre abstrait
Décoration de l'arbre abstrait : le contexte
Traitement du code intermédiaire
Gestion de la mémoire
Programmes impératifs et orientés objet
Programmes fonctionnels
Programmes logiques
Programmes parallèles et distribuésPermalink : ./index.php?lvl=notice_display&id=13554 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP22/1 COMP22 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP22/2 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/3 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/4 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/5 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/6 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/7 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/8 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/9 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/10 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/11 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/12 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/13 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/14 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/15 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/16 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/17 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP22/18 COMP22 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Compilateurs : principes , techniques et outils Type de document : texte imprime Auteurs : Alfred Aho ; R.Seth M.Lam Mention d'édition : 2è éd. Editeur : Paris : Pearson Education Année de publication : 2007 Importance : 900 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-7440-7037-2 Note générale : Bibliogr. p. [595]-603. Index Langues : Français Mots-clés : Compilateurs Ordinateurs Langage de programmation Texte Analyse Code Parallélisme Index. décimale : 005.453 Résumé : Le " Dragon ", l'ouvrage de référence en matière de compilation, revient avec une édition entièrement actualisée et qui prend en compte toutes les évolutions récentes du domaine. Les auteurs, enseignants dans les universités américaines les plus prestigieuses, ont adopté une présentation encore plus pédagogique, abondamment illustrée d'exemples concrets et d'exercices. Le livre couvre tous les aspects théoriques et pratiques de la compilation des langages de programmation. Il s'attache également à démontrer la pertinence du recours à la compilation pour résoudre les problèmes les plus fréquemment rencontrés lors de la conception de logiciels de traitement des langages. La compilation permet en effet de rechercher des erreurs dans des logiciels ou de découvrir des failles de sécurité dans les codes existants. La première partie traite des concepts fondamentaux suivants : architecture des ordinateurs et langages de programmation, description et démonstration des notions de base avec un compilateur jouet, analyses lexicale et syntaxique, génération de code intermédiaire et de code cible. La seconde partie porte sur l'optimisation de code : techniques et algorithmes d'optimisation, extraction et exploitation du parallélisme, analyse interprocédurale. Le livre comprend par ailleurs plus de 200 exercices d'application, ce qui en fait un support de formation de premier ordre. Il est indispensable pour toute personne qui désire concevoir et développer un compilateur complet ou un traducteur de langages. Note de contenu : Un traducteur simple en une passe.
Analyse lexicale. Analyse syntaxique.
Traduction dirigée par la syntaxe.
Production de code intermédiaire.
Environnements d'exécution.
Production de code.
Optimisations indépendantes de la machine.
Parallélisme entre instructions.
Parallélisme et localité des données.
Analyses interprocéduralesPermalink : ./index.php?lvl=notice_display&id=13555 Compilateurs : principes , techniques et outils [texte imprime] / Alfred Aho ; R.Seth M.Lam . - 2è éd. . - Paris : Pearson Education, 2007 . - 900 p. : ill. ; 24 cm.
ISBN : 978-2-7440-7037-2
Bibliogr. p. [595]-603. Index
Langues : Français
Mots-clés : Compilateurs Ordinateurs Langage de programmation Texte Analyse Code Parallélisme Index. décimale : 005.453 Résumé : Le " Dragon ", l'ouvrage de référence en matière de compilation, revient avec une édition entièrement actualisée et qui prend en compte toutes les évolutions récentes du domaine. Les auteurs, enseignants dans les universités américaines les plus prestigieuses, ont adopté une présentation encore plus pédagogique, abondamment illustrée d'exemples concrets et d'exercices. Le livre couvre tous les aspects théoriques et pratiques de la compilation des langages de programmation. Il s'attache également à démontrer la pertinence du recours à la compilation pour résoudre les problèmes les plus fréquemment rencontrés lors de la conception de logiciels de traitement des langages. La compilation permet en effet de rechercher des erreurs dans des logiciels ou de découvrir des failles de sécurité dans les codes existants. La première partie traite des concepts fondamentaux suivants : architecture des ordinateurs et langages de programmation, description et démonstration des notions de base avec un compilateur jouet, analyses lexicale et syntaxique, génération de code intermédiaire et de code cible. La seconde partie porte sur l'optimisation de code : techniques et algorithmes d'optimisation, extraction et exploitation du parallélisme, analyse interprocédurale. Le livre comprend par ailleurs plus de 200 exercices d'application, ce qui en fait un support de formation de premier ordre. Il est indispensable pour toute personne qui désire concevoir et développer un compilateur complet ou un traducteur de langages. Note de contenu : Un traducteur simple en une passe.
Analyse lexicale. Analyse syntaxique.
Traduction dirigée par la syntaxe.
Production de code intermédiaire.
Environnements d'exécution.
Production de code.
Optimisations indépendantes de la machine.
Parallélisme entre instructions.
Parallélisme et localité des données.
Analyses interprocéduralesPermalink : ./index.php?lvl=notice_display&id=13555 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP12/1 COMP12 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP12/2 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP12/3 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP12/4 COMP12 Livre Magasin d'Ouvrages / INF Compilation Sorti jusqu'au 03/01/2025 COMP12/5 COMP12 Livre Magasin d'Ouvrages / INF Compilation Sorti jusqu'au 02/01/2025 COMP12/6 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP12/7 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP12/8 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP12/9 COMP12 Livre Magasin d'Ouvrages / INF Compilation Disponible Les abonnés qui ont emprunté ce document ont également emprunté :
Génie logiciel Gustafson, David Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Titre : Les compilateurs : théorie - construction - génération Type de document : texte imprime Auteurs : Reinhard Wilhelm, Auteur ; Maurer, Dieter, Auteur ; Thomasset, François, Auteur Editeur : Paris : Masson Année de publication : 1994 Collection : Manuel Informatique Masson , ISSN 0249-6992 Importance : XII-612 p. Présentation : ill., graph., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-84615-1 Note générale :
Bibliogr. p. [595]-603. IndexLangues : Français Mots-clés : Compilateurs (logiciels) Compilation (informatique) Traducteurs (logiciels) Index. décimale : 005.453 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. Permalink : ./index.php?lvl=notice_display&id=13543 Les compilateurs : théorie - construction - génération [texte imprime] / Reinhard Wilhelm, Auteur ; Maurer, Dieter, Auteur ; Thomasset, François, Auteur . - Paris : Masson, 1994 . - XII-612 p. : ill., graph., couv. ill. en coul. ; 24 cm. - (Manuel Informatique Masson , ISSN 0249-6992) .
ISBN : 978-2-225-84615-1
Bibliogr. p. [595]-603. Index
Langues : Français
Mots-clés : Compilateurs (logiciels) Compilation (informatique) Traducteurs (logiciels) Index. décimale : 005.453 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. Permalink : ./index.php?lvl=notice_display&id=13543 Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP09/1 COMP09 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtCOMP09/2 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP09/3 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP09/4 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP09/5 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP09/6 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible COMP09/7 COMP09 Livre Magasin d'Ouvrages / INF Compilation Disponible Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité COMP02/1 COMP02 Livre Magasin d'Ouvrages / INF Compilation Consultation sur place
Exclu du prêtAucun avis, veuillez vous identifier pour ajouter le vôtre !
Permalink
Permalink
