Verwandte Artikel zu Introduction to Static Analysis: An Abstract Interpretation...

Introduction to Static Analysis: An Abstract Interpretation Perspective (The MIT Press) - Hardcover

 
9780262043410: Introduction to Static Analysis: An Abstract Interpretation Perspective (The MIT Press)

Inhaltsangabe

A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users.

Static program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays an important role in all phases of development, including verification of specifications and programs, the synthesis of optimized code, and the refactoring and maintenance of software applications. This book offers a self-contained introduction to static analysis, covering the basics of both theoretical foundations and practical considerations in the use of static analysis tools. By offering a quick and comprehensive introduction for nonspecialists, the book fills a notable gap in the literature, which until now has consisted largely of scientific articles on advanced topics.

The text covers the mathematical foundations of static analysis, including semantics, semantic abstraction, and computation of program invariants; more advanced notions and techniques, including techniques for enhancing the cost-accuracy balance of analysis and abstractions for advanced programming features and answering a wide range of semantic questions; and techniques for implementing and using static analysis tools. It begins with background information and an intuitive and informal introduction to the main static analysis principles and techniques. It then formalizes the scientific foundations of program analysis techniques, considers practical aspects of implementation, and presents more advanced applications. The book can be used as a textbook in advanced undergraduate and graduate courses in static analysis and program verification, and as a reference for users, developers, and experts.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Xavier Rival is Research Director at INRIA Paris and head of the research group on static analysis at Ecole Normale Supérieure/CNRS/INRIA/PSL

Kwangkeun Yi is Professor in the Department of Computer Science & Engineering at Seoul National University and head of its Programming Research Laboratory.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagThe MIT Press
  • Erscheinungsdatum2020
  • ISBN 10 0262043416
  • ISBN 13 9780262043410
  • EinbandTapa dura
  • SpracheEnglisch
  • Anzahl der Seiten320
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Wie neu
Unread book in perfect condition...
Diesen Artikel anzeigen

EUR 17,52 für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

EUR 5,92 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Introduction to Static Analysis: An Abstract Interpretation...

Beispielbild für diese ISBN

RIVAL, XAVIER
Verlag: The MIT Press, 2020
ISBN 10: 0262043416 ISBN 13: 9780262043410
Neu Hardcover

Anbieter: Speedyhen, London, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: NEW. Bestandsnummer des Verkäufers NW9780262043410

Verkäufer kontaktieren

Neu kaufen

EUR 63,92
Währung umrechnen
Versand: EUR 5,92
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Xavier Rival
Verlag: MIT Press, 2020
ISBN 10: 0262043416 ISBN 13: 9780262043410
Neu Hardcover

Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers GB-9780262043410

Verkäufer kontaktieren

Neu kaufen

EUR 74,05
Währung umrechnen
Versand: EUR 4,78
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Xavier Rival
Verlag: MIT Press, 2020
ISBN 10: 0262043416 ISBN 13: 9780262043410
Neu Hardcover

Anbieter: PBShop.store US, Wood Dale, IL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers GB-9780262043410

Verkäufer kontaktieren

Neu kaufen

EUR 79,29
Währung umrechnen
Versand: EUR 0,77
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Rival, Xavier; Yi, Kwangkeun
Verlag: The MIT Press, 2020
ISBN 10: 0262043416 ISBN 13: 9780262043410
Neu Hardcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 38585991-n

Verkäufer kontaktieren

Neu kaufen

EUR 68,91
Währung umrechnen
Versand: EUR 17,52
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 3 verfügbar

In den Warenkorb

Foto des Verkäufers

Rival, Xavier; Yi, Kwangkeun
Verlag: The MIT Press, 2020
ISBN 10: 0262043416 ISBN 13: 9780262043410
Gebraucht Hardcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 38585991

Verkäufer kontaktieren

Gebraucht kaufen

EUR 69,03
Währung umrechnen
Versand: EUR 17,52
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 3 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Rival, Xavier; Yi, Kwangkeun
Verlag: The MIT Press, 2020
ISBN 10: 0262043416 ISBN 13: 9780262043410
Gebraucht Hardcover

Anbieter: clickgoodwillbooks, Indianapolis, IN, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Acceptable. This is a hard cover book: Used - Acceptable: All pages and the cover are intact, but shrink wrap, dust covers, or boxed set case may be missing. Pages may include limited notes, highlighting, or minor water damage but the text is readable. Item may be missing bundled media. Bestandsnummer des Verkäufers 3O6XBG0008U4_ns

Verkäufer kontaktieren

Gebraucht kaufen

EUR 18,26
Währung umrechnen
Versand: EUR 70,13
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Rival, Xavier; Yi, Kwangkeun
Verlag: The MIT Press, 2020
ISBN 10: 0262043416 ISBN 13: 9780262043410
Neu Hardcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9780262043410_new

Verkäufer kontaktieren

Neu kaufen

EUR 82,73
Währung umrechnen
Versand: EUR 5,91
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Kwangkeun Yi
Verlag: MIT Press Ltd Feb 2020, 2020
ISBN 10: 0262043416 ISBN 13: 9780262043410
Neu Hardcover

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: Neu. Neuware - A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users. Bestandsnummer des Verkäufers 9780262043410

Verkäufer kontaktieren

Neu kaufen

EUR 91,08
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Rival, Xavier; Yi, Kwangkeun
Verlag: The MIT Press, 2020
ISBN 10: 0262043416 ISBN 13: 9780262043410
Neu Hardcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 38585991-n

Verkäufer kontaktieren

Neu kaufen

EUR 74,04
Währung umrechnen
Versand: EUR 17,80
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Rival, Xavier; Yi, Kwangkeun
Verlag: The MIT Press, 2020
ISBN 10: 0262043416 ISBN 13: 9780262043410
Gebraucht Hardcover

Anbieter: Seattle Goodwill, Seattle, WA, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Good. May have some shelf-wear due to normal use. Your purchase funds free job training and education in the greater Seattle area. Thank you for supporting Goodwills nonprofit mission! Bestandsnummer des Verkäufers 0KVOV900EYVD_ns

Verkäufer kontaktieren

Gebraucht kaufen

EUR 19,17
Währung umrechnen
Versand: EUR 73,64
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Es gibt 10 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen