Advanced Symbolic Analysis for Compilers
New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Bernard Scholz, Thomas Fahringer
Résumé
This book presents novel symbolic control and data flow techniques as well as symbolic techniques and algorithms for program analysis and program optimization. Program contexts, defining a new symbolic description of program semantics for control and data flow analysis, are at the center of the techniques and methods introduced.
The authors develop solutions for a number of problems encountered in program analysis by using program contexts. The solutions proposed are efficient, versatile, unified, and more general than most existing methods.
The authors' symbolic analysis framework is implemented as a prototype as part of the Vienna High Performance Compiler.
Au sommaire
- Introduction
- Symbolic Analysis of Programs
- Generating Program Contexts
- Symbolic Analysis Algorithms and Transformations
- Symbolic Analysis for Parallelizing Compilers
- Related Work
- Conclusion
- Appendix
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Bernard Scholz, Thomas Fahringer |
| Parution | 12/06/2003 |
| Nb. de pages | 130 |
| Format | 15,5 x 23,5 |
| Couverture | Broché |
| Poids | 225g |
| Intérieur | Noir et Blanc |
| EAN13 | 9783540011859 |
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
