Hoppa till sidans huvudinnehåll

Del i serien Lecture Notes in Computer Science

Advanced Symbolic Analysis for Compilers

New Techniques and Algorithms for Symbolic Program Analysis and Optimization

Häftad, Engelska, 2003

AvThomas Fahringer,Bernhard Scholz

719 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

  • Utgivningsdatum2003-04-07
  • Mått155 x 235 x 9 mm
  • Vikt236 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor136
  • Upplaga2003
  • FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • ISBN9783540011859

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

Hoppa över listan

Mer från samma serie

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

699 kr

Persuasive Technology

Yvonne de Kort, Wijnand IJsselsteijn, Cees Midden, Berry Eggen, B.J. Fogg

Häftad, 2007

679 kr

Hoppa över listan

Du kanske också är intresserad av