Zur Startseite gehen
0,00 €*
Cover: 9783642084744 | Principles of Program Analysis | Flemming Nielson (u. a.) | Buch | XXI
Dekorationsartikel gehören nicht zum Leistungsumfang.
Principles of Program Analysis
Taschenbuch von Flemming Nielson (u. a.)
Sprache: Englisch

53,49 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
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.
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.
Zusammenfassung
The only book providing an introduction to the active area of program analysis for advanced students, researchers, and professionalsTested in various courses: Aarhus, Imperial College (London), Pisa, Saarbrücken, Tel Aviv, Copenhagen, Schloss Dagstuhl International Conference and Research CenterPower Point transparencies will be made available online
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.
Details
Erscheinungsjahr: 2010
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: xxi
452 S.
ISBN-13: 9783642084744
ISBN-10: 3642084745
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Nielson, Flemming
Hankin, Chris
Nielson, Hanne R.
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Maße: 234 x 156 x 26 mm
Von/Mit: Flemming Nielson (u. a.)
Erscheinungsdatum: 01.12.2010
Gewicht: 0,717 kg
Artikel-ID: 107175029
Zusammenfassung
The only book providing an introduction to the active area of program analysis for advanced students, researchers, and professionalsTested in various courses: Aarhus, Imperial College (London), Pisa, Saarbrücken, Tel Aviv, Copenhagen, Schloss Dagstuhl International Conference and Research CenterPower Point transparencies will be made available online
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.
Details
Erscheinungsjahr: 2010
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Inhalt: xxi
452 S.
ISBN-13: 9783642084744
ISBN-10: 3642084745
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Nielson, Flemming
Hankin, Chris
Nielson, Hanne R.
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Maße: 234 x 156 x 26 mm
Von/Mit: Flemming Nielson (u. a.)
Erscheinungsdatum: 01.12.2010
Gewicht: 0,717 kg
Artikel-ID: 107175029
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783834809834 | Informatik-Manga | Datenbanken | Mana Takahashi | Taschenbuch | x
Informatik-Manga
Datenbanken
EAN: 9783834809834
Sprache: Deutsch
Von/Mit: Mana Takahashi

24,99 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9783642014871 | Das V-Modell® XT | Jan Friedrich (u. a.) | Taschenbuch | Paperback
Das V-Modell® XT
Für Projektleiter und QS-Verantwortliche kompakt und übersichtlich
EAN: 9783642014871
Sprache: Deutsch
Von/Mit: Jan Friedrich (u. a.)

29,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780672326141 | Inmates Are Running the Asylum, The | Alan Cooper | Taschenbuch | 2004
Inmates Are Running the Asylum, The
Why High Tech Products Drive Us Crazy and How to Restore the Sanity
EAN: 9780672326141
Sprache: Englisch
Von/Mit: Alan Cooper

36,70 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783864903717 | Continuous Delivery | Der pragmatische Einstieg | Eberhard Wolff
Continuous Delivery
Der pragmatische Einstieg
EAN: 9783864903717
Sprache: Deutsch
Von/Mit: Eberhard Wolff

34,90 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781119612582 | Flutter for Dummies | Barry Burd | Taschenbuch | 384 S. | Englisch
Flutter for Dummies
EAN: 9781119612582
Sprache: Englisch
Von/Mit: Barry Burd

29,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783411742257 | Wenn die Dinge mit uns reden | Christoph Drösser | Taschenbuch | 2020
Wenn die Dinge mit uns reden
Von Sprachassistenten, dichtenden Computern und Social Bots
EAN: 9783411742257
Sprache: Deutsch
Von/Mit: Christoph Drösser

16,00 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9781801077651 | Mastering Transformers | Sava¿ Y¿ld¿r¿m | Taschenbuch | Paperback
Mastering Transformers
Build state-of-the-art models from scratch with advanced natural language processing techniques
EAN: 9781801077651
Sprache: Englisch
Von/Mit: Sava¿ Y¿ld¿r¿m (u. a.)

68,55 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781801815093 | Learn Python Programming | Fabrizio Romano (u. a.) | Taschenbuch
Learn Python Programming
An in-depth introduction to the fundamentals of Python
EAN: 9781801815093
Sprache: Englisch
Von/Mit: Fabrizio Romano (u. a.)

60,85 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781292025902 | Signals and Systems | Pearson New International Edition | Taschenbuch
Signals and Systems
Pearson New International Edition
EAN: 9781292025902
Sprache: Englisch
Von/Mit: Alan Oppenheim (u. a.)

126,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783384176226 | Data Science und AI | Michael Oettinger | Taschenbuch | Deutsch
Data Science und AI
Eine praxisorientierte Einführung im Umfeld von Machine Learning, künstlicher Intelligenz und Big Data - 3....
EAN: 9783384176226
Sprache: Deutsch
Von/Mit: Michael Oettinger

17,90 €*

Lieferzeit 4-7 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...