Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer, Bernhard Scholz.

By:

Fahringer, Thomas, 1965-

Contributor(s):

Scholz, Bernhard (Bernhard Friedrich), 1972-

Material type: Text

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783540366140
3540366148

Subject(s):

Additional physical formats: Print version:Fahringer, Thomas, 1965-: Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimizationDDC classification:

005.4/53 21

LOC classification:

QA76.76.C65 .F34 2003

Other classification:

54.52
SS 4800
DAT 530f
DAT 383f

Online resources:

Click here to access online

Contents:

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

Summary: 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.

Holdings ( 1 )
Title notes ( 4 )

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	eBook LNCS		Available

Total holds: 0

Includes bibliographical references and index.

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.

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

English.