oder
Loggen Sie sich ein, um 1-Click® einzuschalten.
 
 
Alle Angebote
89 Angebote ab EUR 45,69

Möchten Sie verkaufen? Hier verkaufen
 
   
Principles of Program Analysis
 
 

Principles of Program Analysis (Gebundene Ausgabe)

von Flemming Nielson (Autor), Hanne Riis Nielson (Autor), Chris Hankin (Autor) "In this book we shall introduce four of the main approaches to program analysis: Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, and Type and..." (mehr)
4.5 von 5 Sternen  Alle Rezensionen anzeigen (2 Kundenrezensionen)
Preis: EUR 53,45 Kostenlose Lieferung. Siehe Details.
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Auf Lager.
Verkauf und Versand durch Amazon.de. Geschenkverpackung verfügbar.

Noch 3 Stück auf Lager.

Lieferung bis Donnerstag, 11. Februar: Wählen Sie an der Kasse Overnight-Express. Siehe Details.
83 neu ab EUR 45,69 6 gebraucht ab EUR 53,45

Hinweise und Aktionen

  • Studienbücher: Ob neu oder gebraucht, alle wichtigen Bücher für Ihr Studium finden Sie im großen Studium Special. Natürlich portofrei.


Wird oft zusammen gekauft

Kunden kaufen diesen Artikel zusammen mit Compilers: Principles, Techniques, & Tools [With Access Code]: Principles, Techniques, and Tools with Gradiance von Alfred V. Aho

Principles of Program Analysis + Compilers: Principles, Techniques, & Tools [With Access Code]: Principles, Techniques, and Tools with Gradiance
Preis für beide: EUR 138,19

Verfügbarkeit und Versanddetails anzeigen


Kunden, die diesen Artikel gekauft haben, kauften auch


Produktinformation

  • Gebundene Ausgabe: 452 Seiten
  • Verlag: Springer, Berlin; Auflage: 1., st ed. 1999. Corr. 2nd printing (1. November 1999)
  • Sprache: Englisch
  • ISBN-10: 3540654100
  • ISBN-13: 978-3540654100
  • Größe und/oder Gewicht: 23,6 x 15,5 x 3,3 cm
  • Durchschnittliche Kundenbewertung: 4.5 von 5 Sternen  Alle Rezensionen anzeigen (2 Kundenrezensionen)
  • Amazon.de Verkaufsrang: Nr. 124.056 in Englische Bücher (Die Bestseller Englische Bücher)
  • Komplettes Inhaltsverzeichnis ansehen

Produktbeschreibungen

Kurzbeschreibung

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Synopsis

Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the extensive similarities between the approaches; this will aid the reader in choosing the right approach and in enhancing it with insights from the other approaches. The book covers basic semantic properties as well as more advanced algorithmic techniques. The book is aimed at M.Sc. and Ph.D. students but will be valuable also for experienced researchers and professionals.

Was kaufen Kunden, nachdem sie diesen Artikel angesehen haben?

Principles of Program Analysis
72% kaufen den auf dieser Seite vorgestellten Artikel:
Principles of Program Analysis 4.5 von 5 Sternen (2)
EUR 53,45
Compilers: Principles, Techniques, & Tools [With Access Code]: Principles, Techniques, and Tools with Gradiance
15% kaufen
Compilers: Principles, Techniques, & Tools [With Access Code]: Principles, Techniques, and Tools with Gradiance
EUR 84,74
Types and Programming Languages
7% kaufen
Types and Programming Languages
EUR 51,95
Model Checking
3% kaufen
Model Checking 4.0 von 5 Sternen (1)
EUR 48,99

In diesem Buch (Mehr dazu)
Einleitungssatz
In this book we shall introduce four of the main approaches to program analysis: Data Flow Analysis, Constraint Based Analysis, Abstract Interpretation, and Type and Effect Systems. Lesen Sie die erste Seite
Mehr entdecken
Wortanzeiger
Ausgewählte Seiten ansehen
Buchdeckel | Copyright | Inhaltsverzeichnis | Auszug | Stichwortverzeichnis | Rückseite
Hier reinlesen und suchen:

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

2 Rezensionen
5 Sterne:
 (1)
4 Sterne:
 (1)
3 Sterne:    (0)
2 Sterne:    (0)
1 Sterne:    (0)
 
 
 
 
 
Durchschnittliche Kundenbewertung
4.5 von 5 Sternen (2 Kundenrezensionen)
 
 
 
 
Sagen Sie Ihre Meinung zu diesem Artikel:
Die hilfreichsten Kundenrezensionen

 
1 von 2 Kunden fanden die folgende Rezension hilfreich:
5.0 von 5 Sternen Statische Programmanalyse für Fortgeschrittene, 18. August 2003
Keine leichte Kost, andererseits ist mir kein vergleichbares Werk zur statischen Programmanalyse bekannt (bin allerdings auch kein Experte). Ein wichtiges, ausgiebig benutztes mathematisches Werkzeug sind Verbuende (Mengen mit Teilordnung) und Fixpunktiterationen darauf.
Ebenfalls gut sind die Behandlung von imperativen Sprachen anhand der Modellsprache WHILE und von funktionalen Sprachen anhand der Modellsprache FUN.
Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen  
War diese Rezension für Sie hilfreich? Ja Nein


 
4.0 von 5 Sternen Ein Muß als Ergänzung zur Vorlesung, 11. Juni 2006
Von Jens Müller (Karlsruhe) - Alle meine Rezensionen ansehen
(REAL NAME)   
Ich höre zur Zeit eine Übersetzerbau-Vorlesung, deren Dozent die von den Autoren bereitgestellten Folien einsetzt.

Diese Folien finde ich sehr unverständlich und habe daher lange gezögert, mir das Buch (ausgeliehen aus der Bib) anzuschauen.

Gestern habe ich damit dann mal angefangen, und ich muß sagen: Das Buch ist zwar in der Tat keine leichte Kost, wie mein Vorrezensent schon bemerkte, macht das Verständnis aber im Gegensatz zu den Folien immerhin möglich.
Helfen Sie anderen Kunden bei der Suche nach den hilfreichsten Rezensionen  
War diese Rezension für Sie hilfreich? Ja Nein

Sagen Sie Ihre Meinung zu diesem Artikel: Eigene Rezension erstellen
 
 
 
Nur in den Rezensionen zu diesem Produkt suchen



Kunden diskutieren

Das Forum zu diesem Produkt
Diskussion Antworten Jüngster Beitrag
Noch keine Diskussionen

Fragen stellen. Meinungen austauschen. Neues erfahren.
Neue Diskussion starten
Thema:
Erster Beitrag:
Eingabe des Log-ins
 


Aktive Diskussionen in ähnlichen Foren
   
Ähnliche Foren


Lieblingslisten


Ähnliche Artikel finden


Anhand des Sachgebietes nach ähnlichen Produkten suchen:


Ihr Kommentar


Für Sie dokumentiert

 (Was ist das?)

Sobald Sie sich Produktseiten oder Suchergebnisse angesehen haben, finden Sie diese Seiten zu Ihrer Information hier aufgeführt.