Custom cover image
Custom cover image

Advanced Symbolic Analysis for Compilers : New Techniques and Algorithms for Symbolic Program Analysis and Optimization / edited by Thomas Fahringer, Bernhard Scholz

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 2628Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2003Description: Online-RessourceISBN:
  • 9783540366140
  • 3540011854
Subject(s): Additional physical formats: 9783540011859 | Buchausg. u.d.T.: Advanced symbolic analysis for compilers. Berlin : Springer, 2003. XII, 129 S.MSC: MSC: *68N20 | 68-02RVK: RVK: SS 4800LOC classification:
  • QA76.7-76.73
  • QA76.76.C65
DOI: DOI: 10.1007/3-540-36614-8Online resources: 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 CompilerPPN: PPN: 1649192169Package identifier: Produktsigel: ZDB-2-BAE | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT