eBook.de : Ihr Online Shop für eBooks, Reader, Downloads und Bücher

Connect 01/2015 eBook-Shops: Testsieger im epub Angebot, Testurteil: gut Die Welt: Kundenorientierte Internetseiten Prädikat GOLD
+49 (0)40 4223 6096
€ 0,00

Zur Kasse

PORTO-
FREI

Principles of Program Analysis

1st Corrected ed. 1999. Corr. 2nd printing 2004. 56 Abbil…
Sofort lieferbar Pünktlich zum Fest*
Buch (gebunden)
Buch € 74,99* inkl. MwSt.
Portofrei*
Produktdetails
Titel: Principles of Program Analysis
Autor/en: Flemming Nielson, Hanne R. Nielson, Chris Hankin

ISBN: 3540654100
EAN: 9783540654100
1st Corrected ed. 1999. Corr. 2nd printing 2004.
56 Abbildungen, 51 Tabellen.
Springer-Verlag GmbH

10. Dezember 2004 - gebunden - XXI

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.
1 Introduction.- 2 Data Flow Analysis.- 3 Constraint Based Analysis.- 4 Abstract Interpretation.- 5 Type and Effect Systems.- 6 Algorithms.- A Partially Ordered Sets.- A.1 Basic Definitions.- A.2 Construction of Complete Lattices.- A.3 Chains.- A.4 Fixed Points.- Concluding Remarks.- B Induction and Coinduction.- B.1 Proof by Induction.- B.2 Introducing Coinduction.- B.3 Proof by Coinduction.- Concluding Remarks.- C Graphs and Regular Expressions.- C.1 Graphs and Forests.- C.2 Reverse Postorder.- C.3 Regular Expressions.- Concluding Remarks.- Index of Notation.

Gedruckte Welten


 
Bücher bei eBook.de entdecken.

 

Jetzt die besten Bücher entdecken!

Kunden, die diesen Artikel gekauft haben, kauften auch

Die römischen Kaiser - Leporello
Buch (gebunden)
von Ted Konakowit…
Pater Spee - Anwalt der Hexen
eBook
von Claus-Peter L…
Gruselkabinett - Folge 41. Northanger Abbay 2
Hörbuch
von Jane Austen
Unsterblich
Buch (gebunden)
von Stephen Cave

Kundenbewertungen zu Flemming Nielson, H… „Principles of Program Analysis“

Noch keine Bewertungen vorhanden
Zur Rangliste der Rezensenten
Veröffentlichen Sie Ihre Kundenbewertung:
Kundenbewertung schreiben

Diese Artikel könnten Sie auch interessieren

Zeitschrift Der Deutschen Morgenländischen Gesellschaft, Neunzehnter Band
Taschenbuch
von Charles Sheph…
Softwareentwicklung für R/3
Buch (gebunden)
von Ulrich Mende
Softwareentwicklung für R/3
Buch (kartoniert)
von Ulrich Mende
Struktur und Interpretation von Computerprogrammen
Buch (kartoniert)
von Harold Abelso…
Software-Architektur
Buch (gebunden)
von Oliver Vogel,…

Unsere Leistungen auf einen Klick

Unser Service für Sie

Zahlungsmethoden
Bequem, einfach und sicher mit eBook.de. mehr Infos akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal mehr Infos
Geprüfte Qualität
  • Schnelle Downloads
  • Datenschutz
  • Sichere Zahlung
  • SSL-Verschlüsselung
Servicehotline
+49 (0)40 4223 6096
Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 18.00 Uhr
Chat
Ihre E-Mail-Adresse eintragen und kostenlos informiert werden:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
Artikel mit dem Hinweis "Pünktlich zum Fest" werden an Lieferadressen innerhalb Deutschlands rechtzeitig zum 24.12.2017 geliefert.
Bei als portofrei markierten Produkten bezieht sich dies nur auf den Versand innerhalb Deutschlands.

** im Vergleich zum dargestellten Vergleichspreis.
eBook.de - Meine Bücher immer dabei
eBook.de ist eine Marke der Hugendubel Digital GmbH & Co. KG
Folgen Sie uns unter: