Skip to content

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

Spend $50 to get a free movie!

ISBN-10: 3540011854

ISBN-13: 9783540011859

Edition: 2003

Authors: Thomas Fahringer, Bernhard Scholz

List price: $54.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


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.
Customers also bought

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

Symbolic Analysis of Programs
Generating Program Contexts
Symbolic Analysis Algorithms and Transformations
Symbolic Analysis for Parallelizing Compilers
Related Work