Item description for Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization (Lecture Notes in Computer Science) by Thomas Fahringer...
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.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.13" Width: 6.14" Height: 0.39" Weight: 0.53 lbs.
Release Date Jul 29, 2003
ISBN 3540011854 ISBN13 9783540011859
Availability 64 units. Availability accurate as of May 26, 2017 01:05.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.