Symbolic Analysis An Algebra-based Approach

Name: Symbolic Analysis
Author: Bernd Burgstaller

Auteur: Bernd Burgstaller

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Bernd Burgstaller Bernhard Scholz

Co-auteur: Blieberger, Johann

Engels
Paperback
9783836481427
27 maart 2008
168 pagina's

Alle productspecificaties

Samenvatting

Static program analysis aims to determine the dynamic behavior of programs without actually executing them. Symbolic analysis is an advanced static program analysis technique that has been successfully applied to memory leak detection, compilation of parallel programs, detection of superfluous bound checks, variable aliases and task deadlocks, and to worst-case execution time analysis. The symbolic analysis information is invaluable for optimizing compilers, code generators, program verification, testing and debugging. In this book we take a novel algebra-based approach to the symbolic analysis of imperative programming languages. Our approach employs path expression algebra to compute the complete control and data flow analysis information valid at a given program point. This information is then provided for subsequent domain-specific analyses. Our approach derives solutions for arbitrary (even intra-loop) nodes of reducible and irreducible control flow graphs. We prove the correctness of our analysis method. Experimental results show that the problem sizes arising from real-world applications such as the SPEC95 benchmark suite are tractable for our symbolic analysis method.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Paperback
Oorspronkelijke releasedatum: 27 maart 2008
Aantal pagina's: 168
Illustraties: Nee

Betrokkenen

Hoofdauteur: Bernd Burgstaller
Tweede Auteur: Bernhard Scholz
Co Auteur: Blieberger, Johann
Hoofduitgeverij: Vdm Verlag Dr. Mueller E.K.

Overige kenmerken

Extra groot lettertype: Nee
Product breedte: 152 mm
Product hoogte: 9 mm
Product lengte: 229 mm
Studieboek: Ja
Verpakking breedte: 152 mm
Verpakking hoogte: 18 mm
Verpakking lengte: 229 mm
Verpakkingsgewicht: 231 g

EAN

EAN: 9783836481427

Je vindt dit artikel in

Categorieën: Computers & Informatica

Informatica

Boeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.