- Taschenbuch: 129 Seiten
- Verlag: Springer Berlin Heidelberg; Auflage: 1 (7. April 2003)
- Sprache: Englisch
- ISBN-10: 3540011854
- ISBN-13: 978-3540011859
- Größe und/oder Gewicht: 23,2 x 15,6 x 1 cm
- Durchschnittliche Kundenbewertung: 5.0 von 5 Sternen Alle Rezensionen anzeigen (1 Kundenrezension)
- Amazon Bestseller-Rang: Nr. 1.954.548 in Englische Bücher (Siehe Top 100 in Englische Bücher)
|
||||||||||||||||||||
|
||||||||||||||||||||
|
||||||||||||||||||||
Advanced Symbolic Analysis for Compilers
und über 1 Million weitere Bücher verfügbar für Amazon Kindle .
Erfahren Sie mehr
| |||||||||||||||
Produktinformation |
Mehr über den Autor
Entdecken Sie Bücher, lesen Sie über Autoren und mehr
› Besuchen Sie die Seite von Thomas Fahringer auf Amazon
› Besuchen Sie die Seite von Thomas Fahringer auf Amazon
Produktbeschreibungen
Pressestimmen
From the reviews: "This book is about program analysis. … the book is an in depth foray in symbolic analysis completed by an impressive and extensive discussion on the up to date references and related research work. … The book is addressed to computer science researchers and students interested in program analysis. Compiler engineers and other developers for software development tools would find this book as a valuable source of ideas and references." (Corneliu Bârsan, Zentralblatt MATH, Vol. 1042 (17), 2004)
Kurzbeschreibung
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.
In diesem Buch
(Mehr dazu)
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
Tags(Was ist das?)Bei einem Tag handelt es sich um ein Schlagwort, das zum Produkt passt.
Tags erleichtern allen Kunden die Suche und die Sortierung ihrer Lieblingsprodukte. |
Kundenrezensionen
Die hilfreichsten Kundenrezensionen
0 von 1 Kunden fanden die folgende Rezension hilfreich
Format:Taschenbuch
Dieses Buch ist sicher nicht ganz billig und läßt, vor allem zum Ende hin, noch ein paar Detailfragen offen. Trotzdem finde ich es sehr gut.
Wer schon immer wissen wollte mit welchen Algorythmen man, zeitgleich, potentielle Schwachstellen und Quelltextoptimierungen realisieren kann, oder sich für static code analyser interessiert, sollte dieses Buch auf jeden Fall lesen.
Kunden diskutieren
|
Das Forum zu diesem Produkt
Fragen stellen, Meinungen austauschen, Einblicke gewinnen Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
|
Ähnliche Foren
|
||||||||||||||||||||||||||||||||||
Lieblingslisten
Ähnliche Artikel finden
Anhand des Sachgebietes nach ähnlichen Produkten suchen:
Ihr Kommentar
Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?
|
