Principles of Abstract Interpretation
Autor Patrick Cousoten Limba Engleză Hardback – 20 sep 2021
Preț: 517.16 lei
Preț vechi: 646.44 lei
-20% Nou
Puncte Express: 776
Preț estimativ în valută:
98.97€ • 104.09$ • 82.44£
98.97€ • 104.09$ • 82.44£
Carte disponibilă
Livrare economică 14-28 decembrie
Livrare express 30 noiembrie-06 decembrie pentru 69.41 lei
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780262044905
ISBN-10: 0262044900
Pagini: 816
Ilustrații: 53
Dimensiuni: 186 x 259 x 35 mm
Greutate: 1.48 kg
Editura: MIT Press Ltd
ISBN-10: 0262044900
Pagini: 816
Ilustrații: 53
Dimensiuni: 186 x 259 x 35 mm
Greutate: 1.48 kg
Editura: MIT Press Ltd
Notă biografică
Patrick Cousot is Julius Silver, Roslyn S. Silver, and Enid Silver Winslow Professor in the Computer Science Department at New York University.
Cuprins
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
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