oder
Loggen Sie sich ein, um 1-Click® einzuschalten.
Alle Angebote
Möchten Sie verkaufen? Hier verkaufen
oder
gegen einen Amazon.de Gutschein über EUR 5,65 eintauschen?
Principles of Program Analysis
 
 
Für Kunden: Stellen Sie Ihre eigenen Bilder ein.
Hier reinlesen und suchen
Den Verlag informieren!
Ich möchte dieses Buch auf dem Kindle lesen.

Sie haben keinen Kindle? Hier kaufen oder eine gratis Kindle Lese-App herunterladen.

Principles of Program Analysis [Englisch] [Gebundene Ausgabe]

Flemming Nielson (Autor), Hanne R. Nielson (Autor), Chris Hankin (Autor)
4.5 von 5 Sternen  Alle Rezensionen anzeigen (2 Kundenrezensionen)
Preis: EUR 53,45 kostenlose Lieferung. Siehe Details.
  Alle Preisangaben inkl. MwSt.
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. Zustellung kann bis zu 2 zusätzliche Tage in Anspruch nehmen.
Verkauf und Versand durch Amazon.de. Geschenkverpackung verfügbar.
Nur noch 1 Stück auf Lager - jetzt bestellen.

Weitere Ausgaben

 Amazon-Preis Neu ab Gebraucht ab
Gebundene Ausgabe EUR 53,45   -- --
Taschenbuch --   -- --
Gutschein erhalten
Tauschen Sie jetzt Principles of Program Analysis gegen einen Amazon-Gutschein in Höhe von EUR 5,65 ein - einlösbar für Tausende von Artikeln bei Amazon.de. Entdecken Sie mehr eintauschbare Bücher im Bücher Trade-In Shop. Bitte beachten Sie die Teilnahmebedingungen.

Jetzt für Amazon Student anmelden und um 20% erhöhten Eintauschwert sichern.

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.

Kunden, die diesen Artikel gekauft haben, kauften auch

Produktinformation

  • Gebundene Ausgabe: 452 Seiten
  • Verlag: Springer Berlin Heidelberg; Auflage: 1st ed. 1999. Corr. 2nd printing (22. Oktober 1999)
  • Sprache: Englisch
  • ISBN-10: 3540654100
  • ISBN-13: 978-3540654100
  • Größe und/oder Gewicht: 23,9 x 16,5 x 3,4 cm
  • Durchschnittliche Kundenbewertung: 4.5 von 5 Sternen  Alle Rezensionen anzeigen (2 Kundenrezensionen)
  • Amazon Bestseller-Rang: Nr. 38.024 in Englische Bücher (Siehe Top 100 in Englische Bücher)

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

     Ist der Verkauf dieses Produkts für Sie nicht akzeptabel?

  • Komplettes Inhaltsverzeichnis ansehen

Mehr über die Autoren

Entdecken Sie Bücher, lesen Sie über Autoren und mehr
Flemming Nielson
Flemming Nielson
Hanne Riis Nielson
Hanne Riis Nielson

Produktbeschreibungen

Kurzbeschreibung

Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing 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 illustrates the extensive similarities between the approaches, helping readers to choose the best one to utilize.

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.
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

Eine digitale Version dieses Buchs im Kindle-Shop verkaufen

Wenn Sie ein Verleger oder Autor sind und die digitalen Rechte an einem Buch haben, können Sie die digitale Version des Buchs in unserem Kindle-Shop verkaufen. Weitere Informationen

Kundenrezensionen

3 Sterne
0
2 Sterne
0
1 Sterne
0
Die hilfreichsten Kundenrezensionen
1 von 1 Kunden fanden die folgende Rezension hilfreich
Format:Gebundene Ausgabe
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.
War diese Rezension für Sie hilfreich?
2 von 3 Kunden fanden die folgende Rezension hilfreich
Format:Gebundene Ausgabe
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.
War diese Rezension für Sie hilfreich?
Die hilfreichsten Kundenrezensionen auf Amazon.com (beta)
Amazon.com:  4 Rezensionen
33 von 35 Kunden fanden die folgende Rezension hilfreich
Interesting 23. Oktober 2000
Von Venkatesh Prasad Ranganath - Veröffentlicht auf Amazon.com
Format:Gebundene Ausgabe
As the title suggests the book discusses various approaches to program analysis and it discusses these approaches is pretty good detail, though purely theoretical with small WHILE languages. It would have helped to have used a real live example by considering a small chunk of any of the generally used languages. It has good appendices that covers on some mathematical concepts but be warned you need know your math, the kind described in Glynn winskel or John reynolds book, before you dig into this one.

I rate it as 4 star as it gives the information on how to approach program analysis from the theoretical side. Also, reading it made my life easy when working with some code on flow analysis. I would say it definitely requires 2 readings for the info to settle inside. The appendix on Partially Ordered Sets is much more comprehendable than in Winskel.

In simple words, if u r good at theoritcal math used with languages and are interested in implementing and understanding various analysis that can be performed on programs then this is book would be a great aid.

1 von 1 Kunden fanden die folgende Rezension hilfreich
Useful research tool 24. November 2010
Von J. Nystrom Persson - Veröffentlicht auf Amazon.com
Format:Taschenbuch
As a graduate student in programming languages, I'm finding this textbook a very useful tool to help bring me up to speed. It really helps in understanding theoretical papers on various kinds of static analyses. The book benefits from its segmented approach, so the sections on type and effect systems and data flow analysis, for instance, can be read independently without much of an interdependency.
0 von 1 Kunden fanden die folgende Rezension hilfreich
great book ! 25. Februar 2012
Von luke - Veröffentlicht auf Amazon.com
Format:Gebundene Ausgabe|Von Amazon bestätigter Kauf
I help my classmate bought this book! it is a classic book !
but I think it is a little expensive !
Kundenrezensionen suchen
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, Einblicke gewinnen
Neue Diskussion starten
Thema:
Erster Beitrag:
Eingabe des Log-ins
 


Aktive Diskussionen in ähnlichen Foren
Kundendiskussionen durchsuchen
Alle Amazon-Diskussionen durchsuchen
   
Ä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?

Datenschutzerklärung von Amazon.de Versandbedingungen von Amazon.de Umtausch- & Rücknahme bei Amazon.de