الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Résultat de la recherche
3 résultat(s) recherche sur le mot-clé 'compilateurs'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Compilateurs
Titre : Compilateurs : principes, techniques et outils Type de document : texte imprimé Mention d'édition : 2e éd. Editeur : Paris : Pearson education Année de publication : impr. 2007 Importance : 1 vol. (XXVI-901 p.) Présentation : ill., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-7440-7037-2 Note générale : La couv. porte en plus : "avec plus de 200 exercices"
Bibliogr. p. 860-862. Glossaire. IndexLangues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Compilateurs Index. décimale : 005 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. Compilateurs : principes, techniques et outils [texte imprimé] . - 2e éd. . - Paris : Pearson education, impr. 2007 . - 1 vol. (XXVI-901 p.) : ill., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-7440-7037-2
La couv. porte en plus : "avec plus de 200 exercices"
Bibliogr. p. 860-862. Glossaire. Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Compilateurs Index. décimale : 005 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. Réservation
Réserver ce document
Exemplaires (7)
Code-barres Cote Support Localisation Section Disponibilité fsei01990 005-522.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01991 005-522.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01825 005-522.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09498 005-522.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09497 005-522.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei09496 005-522.6 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01826 005-522.7 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Compilateurs / Alfred Aho
Titre : Compilateurs : principes, techniques et outils ; cours et exercices Type de document : texte imprimé Auteurs : Alfred Aho, Auteur ; Ravi Sethi, Auteur ; Jeffrey David Ullman, Auteur Editeur : Paris : Dunod Année de publication : 2000 Collection : Sciences sup, ISSN 1636-2217 Importance : 875 p. Présentation : ill., couv. ill. en coul. Format : 22 cm ISBN/ISSN/EAN : 978-2-10-005126-7 Note générale : La couv. porte en plus : "2e cycle. écoles d'ingénieurs"
Bibliogr. p. 819-844. Glossaire. IndexLangues : Français (fre) Langues originales : Anglais (eng) Mots-clés : Compilateurs Index. décimale : 006 Résumé : Ce cours constitue la référence fondamentale dans le domaine des compilateurs. Il permet d'assimiler les principes, et de se familiariser avec les techniques et les outils nécessaires à la compréhension et à la réalisation des compilateurs. Les auteurs présentent d'abord les concepts sous-jacents au processus de compilation. Ils les illustrent ensuite à l'aide d'un compilateur simple. Plusieurs chapitres sont consacrés notamment aux éléments suivants : - L'analyse syntaxique. Les principales méthodes d'analyse syntaxique spécifiques à la compilation sont présentées. Aux concepts de base s'ajoutent les techniques convenant à une implantation manuelle et les algorithmes utilisés dans les outils automatiques. - La génération automatique de code. Les techniques de génération de code (dernière phase d'un modèle de compilation) sont présentées et illustrées. Un chapitre est entièrement consacré aux méthodes d'optimisation du code, un autre au contrôle de types. L'analyse de divers compilateurs complète cette étude. De nombreux exercices et problèmes, de difficulté variable, permettent au lecteur de mieux saisir toutes les phases de la compilation. Compilateurs : principes, techniques et outils ; cours et exercices [texte imprimé] / Alfred Aho, Auteur ; Ravi Sethi, Auteur ; Jeffrey David Ullman, Auteur . - Paris : Dunod, 2000 . - 875 p. : ill., couv. ill. en coul. ; 22 cm. - (Sciences sup, ISSN 1636-2217) .
ISBN : 978-2-10-005126-7
La couv. porte en plus : "2e cycle. écoles d'ingénieurs"
Bibliogr. p. 819-844. Glossaire. Index
Langues : Français (fre) Langues originales : Anglais (eng)
Mots-clés : Compilateurs Index. décimale : 006 Résumé : Ce cours constitue la référence fondamentale dans le domaine des compilateurs. Il permet d'assimiler les principes, et de se familiariser avec les techniques et les outils nécessaires à la compréhension et à la réalisation des compilateurs. Les auteurs présentent d'abord les concepts sous-jacents au processus de compilation. Ils les illustrent ensuite à l'aide d'un compilateur simple. Plusieurs chapitres sont consacrés notamment aux éléments suivants : - L'analyse syntaxique. Les principales méthodes d'analyse syntaxique spécifiques à la compilation sont présentées. Aux concepts de base s'ajoutent les techniques convenant à une implantation manuelle et les algorithmes utilisés dans les outils automatiques. - La génération automatique de code. Les techniques de génération de code (dernière phase d'un modèle de compilation) sont présentées et illustrées. Un chapitre est entièrement consacré aux méthodes d'optimisation du code, un autre au contrôle de types. L'analyse de divers compilateurs complète cette étude. De nombreux exercices et problèmes, de difficulté variable, permettent au lecteur de mieux saisir toutes les phases de la compilation. Réservation
Réserver ce document
Exemplaires (4)
Code-barres Cote Support Localisation Section Disponibilité fsei02239 006-68.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei02240 006-68.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01321 006-68.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei01320 006-68.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible Les compilateurs / Reinhard Wilhelm
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, ISSN 0249-6992 Importance : XII-612 p. Présentation : graph., couv. ill. en coul. Format : 24 cm x 16 cm ISBN/ISSN/EAN : 978-2-225-84615-1 Note générale : Bibliogr. p. 595-603. Index Langues : Français (fre) Langues originales : Allemand (ger) Mots-clés : informatique compilateurs construction Index. décimale : 004 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 (1946-....), Auteur ; Dieter Maurer, Auteur ; François Thomasset, Traducteur . - Paris : Masson, 1994 . - XII-612 p. : graph., couv. ill. en coul. ; 24 cm x 16 cm. - (Manuels informatiques Masson, ISSN 0249-6992) .
ISBN : 978-2-225-84615-1
Bibliogr. p. 595-603. Index
Langues : Français (fre) Langues originales : Allemand (ger)
Mots-clés : informatique compilateurs construction Index. décimale : 004 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. Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité fsei00140 004-40.1 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00141 004-40.2 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00142 004-40.3 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00143 004-40.4 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible fsei00144 004-40.5 Ouvrage Faculté des Sciences Exactes et Informatique 000 - Informatique, information, ouvrages généraux Disponible