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

Name: Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Availability: InStock
ISBN: 9783540011859

ISBN-10: 3540011854

ISBN-13: 9783540011859

Edition: 2003

Authors: Thomas Fahringer, Bernhard Scholz

List price: $54.99

30 day, 100% satisfaction guarantee!

Rent eBooks

30 day rental: $16.50 Expiration date: 5/26/2024

60 day rental: $22.00 Expiration date: 6/25/2024

90 day rental: $27.50 Expiration date: 7/25/2024

120 day rental: $33.00 Expiration date: 8/24/2024

180 day rental: $35.75 Expiration date: 10/23/2024

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.

Book details

List price: $54.99
Copyright year: 2003
Publisher: Springer Berlin / Heidelberg
Publication date: 4/7/2003
Binding: Paperback
Pages: 136
Size: 6.10" wide x 9.25" long x 0.50" tall
Weight: 1.056
Language: English




Preface



Introduction



Symbolic Analysis of Programs



Generating Program Contexts



Symbolic Analysis Algorithms and Transformations



Symbolic Analysis for Parallelizing Compilers



Related Work



Conclusion



Appendix


References


Index