Principles of Abstract Interpretation

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

98,25 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

"An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"--

Über den Autor

Patrick Cousot is Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor in the Computer Science Department at New York University.

Inhaltsverzeichnis

I Introduction
II Syntax
III Trace Semantics
IV Properties and their Abstractions
V Fixpoints and their Abstractions
VI Reachability Semantics
VII Abstract Domain and Abstract Interpreter
VIII Specification and Verification
IX Cartesian Static Analysis
X Effective Fixpoint Approximation
XI Relational Static Analysis
XII Symbolic Static Analysis
XIII Backward Static Analysis
XIV Sound Static Analysis Tools
XV Conclusion
Bibliography
Author Index
Index
Symbol Index
Project Index

Details

Erscheinungsjahr:	2021
Fachbereich:	Programmiersprachen
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Inhalt:	Einband - fest (Hardcover)
ISBN-13:	9780262044905
ISBN-10:	0262044900
Sprache:	Englisch
Einband:	Gebunden
Autor:	Cousot, Patrick
Hersteller:	MIT Press Ltd
Verantwortliche Person für die EU:	preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de
Maße:	259 x 186 x 35 mm
Von/Mit:	Patrick Cousot
Erscheinungsdatum:	21.09.2021
Gewicht:	1,476 kg

Artikel-ID: 120330086

Über den Autor

Patrick Cousot is Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor in the Computer Science Department at New York University.

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2021
Fachbereich:	Programmiersprachen
Genre:	Importe , Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Inhalt:	Einband - fest (Hardcover)
ISBN-13:	9780262044905
ISBN-10:	0262044900
Sprache:	Englisch
Einband:	Gebunden
Autor:	Cousot, Patrick
Hersteller:	MIT Press Ltd
Verantwortliche Person für die EU:	preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de
Maße:	259 x 186 x 35 mm
Von/Mit:	Patrick Cousot
Erscheinungsdatum:	21.09.2021
Gewicht:	1,476 kg