Hugendubel.de - Das Lesen ist schön

Warenkorb

€ 0,00 0 Buch dabei,
portofrei
Principles of Program Analysis als Buch
PORTO-
FREI

Principles of Program Analysis

1st Corrected ed. 1999. Corr. 2nd printing 2004. 56 Abbildungen, 51 Tabellen.
Buch (gebunden)
Ihr 20% Rabatt auf alle KOSMOS Spielwaren
 
20% Rabatt auf Ihren Einkauf ab 100€! Gutscheincode: ADVENT20
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 brea... weiterlesen
Buch

74,99*

inkl. MwSt.
Portofrei
Sofort lieferbar
Principles of Program Analysis als Buch
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

Beschreibung

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.

Inhaltsverzeichnis

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.

Kunden, die diesen Artikel gekauft haben, kauften auch

Tragen Sie Ihre E-Mail- Adresse ein, und bleiben Sie kostenlos informiert:
Die römischen Kaiser - Leporello
Buch (gebunden)
von Ted Konakowit…
Pater Spee - Anwalt der Hexen
eBook
von Claus-Peter L…
Unsterblich
Buch (gebunden)
von Stephen Cave
Zeitschrift Der Deutschen Morgenländischen Gesellschaft, Neunzehnter Band
Taschenbuch
von Charles Sheph…

Diese Artikel könnten Sie auch interessieren

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,…
Use Cases effektiv erstellen
Buch (kartoniert)
von Alistair Cock…
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Bleiben Sie in Kontakt:
Sicher & bequem bezahlen:
akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal
Zustellung durch:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
** im Vergleich zum dargestellten Vergleichspreis.