2 options
Advanced symbolic analysis for compilers : new techniques and algorithms for symbolic program analysis and optimization / Thomas Fahringer, Bernhard Scholz.
LIBRA QA76.76.C65 .F34 2003
Available from offsite location
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Author/Creator:
- Fahringer, Thomas, 1965-
- Series:
- Lecture notes in computer science 0302-9743 ; 2628.
- Lecture notes in computer science, 0302-9743 ; 2628
- Language:
- English
- Subjects (All):
- Compilers (Computer programs).
- Computer algorithms.
- Physical Description:
- xii, 129 pages : illustrations ; 24 cm.
- Place of Publication:
- Berlin ; New York : Springer, [2003]
- 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.
- Notes:
- Includes bibliographical references (pages [119]-125) and index.
- ISBN:
- 3540011854
- OCLC:
- 51900320
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.