Ingénierie de la spécialisation de programmes V. 1 / Marlet, Renaud

Public ISBD Titre : Ingénierie de la spécialisation de programmes V. 1 : Principes et applications Type de document : texte imprimé Auteurs : Marlet, Renaud Editeur : Paris : Lavoisier Année de publication : 2011 Collection : Logique et programmation/Pouzet,Marc Importance : 1 vol (349 p.) Format : 24cm ISBN/ISSN/EAN : 978-2-7462-2101-7 Note générale : 978-2-7462-2101-7 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Informatique Génie logiciel Logiciels: Développement Index. décimale : 004 Informatique Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l écriture des programmes et leur maintenance. Cet ouvrage, conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume pose la problématique de l adaptation par la spécialisation. Il présente les grands principes de la spécialisation de programmes ainsi que les techniques de spécialisation, en se concentrant plus particulièrement sur la spécialisation dite hors ligne. À titre illustratif, il décrit aussi l architecture de Tempo, spécialiseur hors ligne pour le langage C, capable d effectuer des spécialisations en cours d exécution. Il est illustré de résultats chiffrés pour des applications concrètes dans différents domaines. « Moins Note de contenu : Sommaire P.7. Avant-propos P.17. Chapitre 1. Introduction : spécialiser pour adapter P.33. Chapitre 2. Préliminaires sur les langages et les programmes P.87. Chapitre 3. Les grands principes de la spécialisation de programmes P.131. Chaptitre 4. Techniques de spécialisation P.161. Chapitre 5. Spécialisation hors ligne P.. Chapitre 6. Un spécialisateur pour C : Tempo P.239. Chapitre 7. Applications de la spécialisation P.281. Bibliographie P.309. Table des figures P.313. Index Côte titre : Fs/12519,Fs/11596-11599,Fs/13148-13149 Ingénierie de la spécialisation de programmes V. 1 : Principes et applications [texte imprimé] / Marlet, Renaud . - Paris : Lavoisier, 2011 . - 1 vol (349 p.) ; 24cm. - (Logique et programmation/Pouzet,Marc) . ISBN : 978-2-7462-2101-7 978-2-7462-2101-7 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Informatique Génie logiciel Logiciels: Développement Index. décimale : 004 Informatique Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l écriture des programmes et leur maintenance. Cet ouvrage, conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume pose la problématique de l adaptation par la spécialisation. Il présente les grands principes de la spécialisation de programmes ainsi que les techniques de spécialisation, en se concentrant plus particulièrement sur la spécialisation dite hors ligne. À titre illustratif, il décrit aussi l architecture de Tempo, spécialiseur hors ligne pour le langage C, capable d effectuer des spécialisations en cours d exécution. Il est illustré de résultats chiffrés pour des applications concrètes dans différents domaines. « Moins Note de contenu : Sommaire P.7. Avant-propos P.17. Chapitre 1. Introduction : spécialiser pour adapter P.33. Chapitre 2. Préliminaires sur les langages et les programmes P.87. Chapitre 3. Les grands principes de la spécialisation de programmes P.131. Chaptitre 4. Techniques de spécialisation P.161. Chapitre 5. Spécialisation hors ligne P.. Chapitre 6. Un spécialisateur pour C : Tempo P.239. Chapitre 7. Applications de la spécialisation P.281. Bibliographie P.309. Table des figures P.313. Index Côte titre : Fs/12519,Fs/11596-11599,Fs/13148-13149

Exemplaires (7)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/11596	Fs/11596-11599	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11597	Fs/11596-11599	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11598	Fs/11596-11599	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11599	Fs/11596-11599	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12519	Fs/12519	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13148	Fs/13148-13149	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13149	Fs/13148-13149	Livre	Bibliothéque des sciences	Français	Disponible Disponible

Ingénierie de la spécialisation de programmes V.2 / Marlet, Renaud

Public ISBD Titre : Ingénierie de la spécialisation de programmes V.2 : Techniques avancées Type de document : texte imprimé Auteurs : Marlet, Renaud Editeur : Paris : Lavoisier Année de publication : 2011 Collection : Logique et programmation/Pouzet,Marc Importance : 1 vol. (343 p.) Format : 24cm ISBN/ISSN/EAN : 978-2-7462-3799-5 Note générale : 978-2-7462-3799-5 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Informatique Génie logiciel Logiciels: Développement Index. décimale : 004 - Informatique Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l'avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l'écriture des programmes et leur maintenance. Cet ouvrage, conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume détaille une gamme étendue de précisions d'analyses de programmes, qui sont déterminantes sur le degré de spécialisation. Il étudie également les questions de réification et de spécialisation de programmes incomplets, d'ordinaire peu traitées mais pourtant capitales, et explore diverses manières efficaces d'exploiter un sous-programme spécialisé. Il décrit aussi la spécialisation incrémentale, notamment à l'exécution, et présente une puissante technique alternative de spécialisation, la spécialisation de données. Il apporte des perspectives scientifiques et industrielles. L'auteur Ingénieur de l'Ecole polytechnique et docteur en informatique, Renaud Marlet a occupé des postes dans la recherche publique (INRIA) et l'industrie logicielle (PME, startup). Multidisciplinaire, il est actuellement chercheur senior à l'Ecole des Ponts ParisTech, où il dirige le pôle de recherche IMAGINE. Note de contenu : Sommaire P. 9. Avant-propos P. 19. Chapitre 1. Précision des analyses de programmes P. 59. Chapitre 2. Réification : de la valeur au terme P. 87. Chapitre 3. Spécialisation de programmes incomplets P. 123. Chapitre 4. Exploitation de la spécialisation P. 149. Chapitre 5. Spécialisation incrémentale à l'exécution P. 185. Chapitre 6. Spécialisation des données P. 239. Chapitre 7. Perspectives scientifiques P. 269. Chapitre 8. Conclusion : du prototype au produit P. 285. Bibliographie P. 303. Table des figures P. 307. Index Côte titre : Fs/12520,Fs/11600-11603,Fs/13150-13151 Ingénierie de la spécialisation de programmes V.2 : Techniques avancées [texte imprimé] / Marlet, Renaud . - Paris : Lavoisier, 2011 . - 1 vol. (343 p.) ; 24cm. - (Logique et programmation/Pouzet,Marc) . ISBN : 978-2-7462-3799-5 978-2-7462-3799-5 Langues : Français (fre) Langues originales : Français (fre) Catégories : Informatique Mots-clés : Informatique Génie logiciel Logiciels: Développement Index. décimale : 004 - Informatique Résumé : La spécialisation de programmes, aussi appelée évaluation partielle, est une technique générale destinée à rendre les programmes plus performants (plus rapides et possiblement plus petits) quand certaines entrées peuvent être connues à l'avance. Du point de vue du génie logiciel, la spécialisation facilite aussi grandement l'écriture des programmes et leur maintenance. Cet ouvrage, conçu à la fois pour les chercheurs et les ingénieurs logiciels, tant architectes que développeurs, en fait une large présentation pratique. Ce volume détaille une gamme étendue de précisions d'analyses de programmes, qui sont déterminantes sur le degré de spécialisation. Il étudie également les questions de réification et de spécialisation de programmes incomplets, d'ordinaire peu traitées mais pourtant capitales, et explore diverses manières efficaces d'exploiter un sous-programme spécialisé. Il décrit aussi la spécialisation incrémentale, notamment à l'exécution, et présente une puissante technique alternative de spécialisation, la spécialisation de données. Il apporte des perspectives scientifiques et industrielles. L'auteur Ingénieur de l'Ecole polytechnique et docteur en informatique, Renaud Marlet a occupé des postes dans la recherche publique (INRIA) et l'industrie logicielle (PME, startup). Multidisciplinaire, il est actuellement chercheur senior à l'Ecole des Ponts ParisTech, où il dirige le pôle de recherche IMAGINE. Note de contenu : Sommaire P. 9. Avant-propos P. 19. Chapitre 1. Précision des analyses de programmes P. 59. Chapitre 2. Réification : de la valeur au terme P. 87. Chapitre 3. Spécialisation de programmes incomplets P. 123. Chapitre 4. Exploitation de la spécialisation P. 149. Chapitre 5. Spécialisation incrémentale à l'exécution P. 185. Chapitre 6. Spécialisation des données P. 239. Chapitre 7. Perspectives scientifiques P. 269. Chapitre 8. Conclusion : du prototype au produit P. 285. Bibliographie P. 303. Table des figures P. 307. Index Côte titre : Fs/12520,Fs/11600-11603,Fs/13150-13151

Exemplaires (7)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/11600	Fs/11600-11603	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11601	Fs/11600-11603	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11602	Fs/11600-11603	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/11603	Fs/11600-11603	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/12520	Fs/12520	livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13150	Fs/13150-13151	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/13151	Fs/13150-13151	Livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 2 / 2)