Optimal interprocedural program optimization : a new framework and its application
Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is ai...
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Livre numérique |
| Idioma: | Anglais |
| Publicat: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Col·lecció: | Lecture notes in computer science
1428 |
| Matèries: | |
| Accés en línia: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Optimal interprocedural program optimization, a new framework and its application, Jens Knoop, 1998, New York, Springer, 1 vol. (XXV-288 p.), Lecture notes in computer science, 3-540-65123-3 • Optimal Interprocedural Program Optimization, Texte imprimé, 9783662182284 |
| LEADER | 03277nam a22004097a 4500 | ||
|---|---|---|---|
| 001 | 972965 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155232886 | ||
| 020 | |a 9783540496397 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 082 | |a 005.1 | ||
| 100 | 1 | |a Knoop, Jens. | |
| 245 | 1 | 0 | |a Optimal interprocedural program optimization : |b a new framework and its application |c Jens Knoop. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1428 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Preface -- Preface -- The Intraprocedural Framework -- Optimal Intraprocedural Code Motion: The Transformations -- Optimal Intraprocedural Code Motion: The DFA-Algorithms -- The Framework -- The Programming Language -- Higher Order Data Flow Analysis -- The Interprocedural Setting -- Interprocedural Abstract Interpretation -- A Cookbook for Optimal Interprocedural Program Optimization -- The Application -- Optimal Interprocedural Code Motion: The Transformations -- Optimal Interprocedural Code Motion: The IDFA-Algorithms -- Conclusion -- Perspectives. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Starting from the intraprocedural basic case, this monograph focuses on interprocedural optimization. It emphasizes the analogies and essential differences between intraprocedural and interprocedural optimization, and offers cookbook style support for constructing the underlying algorithms. It is aimed at compiler constructors and researchers interested in the systematic transfer of intraprocedural optimizations to the interprocedural setting, as well as students seeking a gentle introduction to the field. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Algorithmes | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Ordinateurs | ||
| 650 | |a Compilateurs (logiciels) | ||
| 776 | 0 | |0 045371776 |t Optimal interprocedural program optimization |o a new framework and its application |f Jens Knoop |d 1998 |c New York |n Springer |p 1 vol. (XXV-288 p.) |s Lecture notes in computer science |z 3-540-65123-3 | |
| 776 | 0 | |t Optimal Interprocedural Program Optimization |b Texte imprimé |z 9783662182284 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-49639-4 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-ZBPDT7Z6-2 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750600276 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-49639-4 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753960974 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-49639-4 |z Accès INSA CVL | |
| 997 | |0 972965 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||