Reasoning About Program Transformations
Imperative Programming and Flow of Data
Résumé
The book focuses on analyses that extract the flow of
data, which imperative programming hides through its use
and reuse of memory in computer systems and compilers. It
details some program transformations that conserve this
data flow and introduces a family of analyses, called
reaching definition analyses, to do this task. In addition,
it shows that correctness of program transformations is
guaranteed by the conservation of data flow.
Professionals and researchers in software engineering,
computer engineering, program design analysis, and compiler
design will benefit from its presentation of data-flow
methods and memory optimization of compilers.
- Introduction
- Describing program executions
- Labels
- Revisiting some classical compiler concepts
- Reaching definition analysis
- Applications of reaching definition analysis
- Some classical compiler concepts, part II
- Single assignment forms
- Maximal static expansion
- Toward algorithm recognition.
L'auteur - Jean-François Collard
Collard, J.-F., Intel Corporation, Santa Clara, CA, USA
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Jean-François Collard |
| Parution | 21/11/2002 |
| Nb. de pages | 238 |
| Format | 16 x 24 |
| Couverture | Broché |
| Poids | 490g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780387953915 |
| ISBN13 | 978-0-387-95391-5 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Compilation
- Informatique Développement d'applications Techniques de programmation Programmation fonctionnelle
- Informatique Développement d'applications Langages C
- Informatique Développement d'applications Langages C++
- Informatique Développement d'applications Langages Pascal
