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
 
 
Für Kunden: Stellen Sie Ihre eigenen Bilder ein.
Hier reinlesen und suchen

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

Advanced Compiler Design and Implementation

Advanced Compiler Design and Implementation

von Steven S. Muchnick
4.0 von 5 Sternen (3)  EUR 108,02
Compilers: Principles, Techniques, & Tools [With Access Code]: Principles, Techniques, and Tools with Gradiance

Compilers: Principles, Techniques, & Tools [With Access Code]: Principles, Techniques, and Tools with Gradiance

von Alfred V. Aho
EUR 84,74
Design Concepts in Programming Languages

Design Concepts in Programming Languages

von Franklyn A. Turbak
EUR 57,99
Advanced Topics in Types and Programming Languages

Advanced Topics in Types and Programming Languages

von Benjamin C. Pierce
EUR 53,99
Types and Programming Languages

Types and Programming Languages

von Benjamin C. Pierce
EUR 51,95
› Weitere Artikel entdecken

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)

    •  Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?

  • 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
Weitere Artikel entdecken
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.
 
Beliebteste Tags anzeigen
 

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

Legen Sie Ihre eigene Lieblingsliste an

Ähnliche Artikel finden

Anhand des Sachgebietes nach ähnlichen Produkten suchen:


































Das bedeutet, jeder Titel/Artikel muss zu Sachgebiet 1 UND zu Sachgebiet 2 UND... gehören.

Ihr Kommentar

Möchten Sie die Produktinformationen aktualisieren oder Feedback zu den Produktabbildungen geben?

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.