Name: advanced symbolic analysis for compilers
SKU: 3482816
Price: 1867.00 TWD
Availability: InStock
Author: fahringer,scholz
ISBN: 9783540011859

Select your country

Americas

Europe

Rest of the world

portada advanced symbolic analysis for compilers

advanced symbolic analysis for compilers

Type

Physical Book

Publisher

Springer

Author

fahringer,scholz

Language

English

Pages

129

ISBN

3540011854

ISBN13

9783540011859

Synopsis "advanced symbolic analysis for compilers"

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.