Ricerca Veloce:    
Ricerca Avanzata
 

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization

di Thomas Fahringer, Bernhard Scholz

  • Prezzo: € 77.75
Spedizione gratuita  Promozione: questo prodotto ha diritto alla spedizione gratuita (Leggi i dettagli)
Normalmente disponibile in 6/7 giorni lavorativi
Aggiungi al carrello

Spedizione gratuita sopra i 19€

Descrizione

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.

Dettagli del libro

  • Titolo: Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
  • Autori: Thomas Fahringer, Bernhard Scholz
  • Editore: Springer
  • Data di Pubblicazione: July 2003
  • ISBN: 3540011854
  • ISBN-13: 9783540011859
  • Pagine: 00141
  • Reparto: Compilers

Recensioni degli utenti

Scrivi una nuova recensione su Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization e condividi la tua opinione con altri utenti.

Ultimi prodotti visti