Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization (Lecture Notes in Computer Science) [Paperback]

Thomas Fahringer (Author), Bernhard Scholz (Author)

Book Description

ISBN-10: 3540011854 | ISBN-13: 978-3540011859 | Publication Date: July 29, 2003 | Edition: 1

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.

Editorial Reviews

Review

From the reviews: "This book is about program analysis. … the book is an in depth foray in symbolic analysis completed by an impressive and extensive discussion on the up to date references and related research work. … The book is addressed to computer science researchers and students interested in program analysis. Compiler engineers and other developers for software development tools would find this book as a valuable source of ideas and references." (Corneliu Bârsan, Zentralblatt MATH, Vol. 1042 (17), 2004)

Product Details

• Paperback: 141 pages
• Publisher: Springer; 1 edition (July 29, 2003)
• Language: English
• ISBN-10: 3540011854
• ISBN-13: 978-3540011859
• Product Dimensions: 9.1 x 6.1 x 0.4 inches
• Shipping Weight: 8.5 ounces (View shipping rates and policies)
• Amazon Best Sellers Rank: #3,466,956 in Books (See Top 100 in Books)
  • #63 in Books > Computers & Technology > Programming > Languages & Tools > Compiler Design

More About the Author

Discover books, learn about writers, read author blogs, and more.