Advanced Symbolic Analysis for Compilers

New Techniques and Algorithms for Symbolic Program Analysis and Optimization

AvThomas Fahringer,Bernhard Scholz

Häftad, Engelska, 2003

Del i serien Lecture Notes in Computer Science

550 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utforska kategorier

Recensioner i media

Innehållsförteckning

Hoppa över listan

Mer från samma författare

Hoppa över listan

Mer från samma serie

  • Nyhet
Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad

897 kr

Del 14841

Electronic Government

Marijn Janssen, Joep Crompvoets, J. Ramon Gil-Garcia, Habin Lee, Ida Lindgren, Anastasija Nikiforova, Gabriela Viale Pereira

Häftad

1 482 kr

Del 12219

Electronic Government

Gabriela Viale Pereira, Marijn Janssen, Habin Lee, Ida Lindgren, Manuel Pedro Rodríguez Bolívar, Hans Jochen Scholl, Anneke Zuiderwijk

Häftad

1 310 kr

Del 9820

Electronic Government

Hans Jochen Scholl, Olivier Glassey, Marijn Janssen, Bram Klievink, Ida Lindgren, Peter Parycek, Efthimios Tambouris, Universität Koblenz-Landau, Tomasz Janowski, Delfina Sá Soares

Häftad

534 kr

Hoppa över listan

Du kanske också är intresserad av