Symbolic Analysis An Algebra-based Approach
Afbeeldingen
Sla de afbeeldingen over
Artikel vergelijken
Auteur:
Bernd Burgstaller
Bernhard Scholz
Co-auteur:
Blieberger, Johann
- Engels
- Paperback
- 9783836481427
- 27 maart 2008
- 168 pagina's
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
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
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
- Taal
- Engels
- Boek, ebook of luisterboek?
- Boek
- Beschikbaarheid
- Leverbaar
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
De prijs van dit product is 69 euro en 99 cent.
2 - 3 weken
Verkoop door bol
- Prijs inclusief verzendkosten, verstuurd door bol
- Ophalen bij een bol afhaalpunt mogelijk
- 30 dagen bedenktijd en gratis retourneren
- Dag en nacht klantenservice
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.