Static Analysis: Programming and Software Engineering
Editat de Bor-Yuh Evan Changen Limba Engleză Paperback – 6 oct 2019
The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions.
The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.
Din seria Programming and Software Engineering
- 20%
Preț: 317.85 lei - 20%
Preț: 983.99 lei - 20%
Preț: 315.48 lei - 20%
Preț: 318.67 lei - 20%
Preț: 617.17 lei - 20%
Preț: 330.54 lei - 20%
Preț: 328.16 lei - 20%
Preț: 320.24 lei - 20%
Preț: 319.42 lei - 20%
Preț: 322.61 lei - 20%
Preț: 333.68 lei - 20%
Preț: 563.29 lei - 20%
Preț: 637.96 lei - 20%
Preț: 637.64 lei - 20%
Preț: 340.84 lei - 20%
Preț: 318.67 lei - 20%
Preț: 325.79 lei - 20%
Preț: 316.28 lei - 20%
Preț: 333.68 lei - 20%
Preț: 639.38 lei - 20%
Preț: 327.36 lei - 20%
Preț: 315.48 lei - 20%
Preț: 324.19 lei - 20%
Preț: 330.54 lei - 20%
Preț: 318.67 lei - 20%
Preț: 326.10 lei - 20%
Preț: 316.73 lei - 20%
Preț: 903.30 lei - 20%
Preț: 319.42 lei - 20%
Preț: 318.67 lei - 20%
Preț: 319.75 lei - 20%
Preț: 328.94 lei - 20%
Preț: 322.61 lei - 20%
Preț: 316.28 lei - 20%
Preț: 316.28 lei - 20%
Preț: 327.36 lei - 20%
Preț: 620.33 lei - 20%
Preț: 321.81 lei - 20%
Preț: 314.86 lei - 20%
Preț: 327.36 lei - 20%
Preț: 733.68 lei - 20%
Preț: 320.72 lei - 20%
Preț: 314.67 lei - 20%
Preț: 330.54 lei - 20%
Preț: 390.68 lei - 20%
Preț: 324.20 lei - 20%
Preț: 316.28 lei - 20%
Preț: 748.63 lei - 20%
Preț: 326.55 lei - 20%
Preț: 320.24 lei
Preț: 331.17 lei
Preț vechi: 413.96 lei
-20% Nou
Puncte Express: 497
Preț estimativ în valută:
58.62€ • 68.33$ • 51.26£
58.62€ • 68.33$ • 51.26£
Carte tipărită la comandă
Livrare economică 20 ianuarie-03 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783030323035
ISBN-10: 303032303X
Pagini: 496
Ilustrații: XIV, 481 p. 2137 illus., 374 illus. in color.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.74 kg
Ediția:1st ed. 2019
Editura: Springer
Seria Programming and Software Engineering
Locul publicării:Cham, Switzerland
ISBN-10: 303032303X
Pagini: 496
Ilustrații: XIV, 481 p. 2137 illus., 374 illus. in color.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.74 kg
Ediția:1st ed. 2019
Editura: Springer
Seria Programming and Software Engineering
Locul publicării:Cham, Switzerland
Cuprins
Rethinking Static Analysis by Combining Discrete and Continuous Reasoning.- Static Analysis of Data Science Software.- Fast and Precise Handling of Positive Weight Cycles for Field-sensitive Pointer Analysis.- Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis.- Syntactic and Semantic Soundness of Structural Dataflow Analysis.- Abstract Interpretation of Indexed Grammars.- Language Inclusion Algorithms as Complete Abstract Interpretations.- On the Monniaux Problem in Abstract Interpretation.- Revisiting Polyhedral Analysis for Hybrid Systems.- An efficient parametric linear programming solver and application to polyhedral projection.- Analysis of Software Patches using Numerical Abstract Interpretation.- Verifying Numerical Programs via Iterative Abstract Testing.- Robustness Verification of Support Vector Machines.- Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification.- Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants.- Direct Manipulation for Imperative Programs.- Responsibility Analysis by Abstract Interpretation.- Temporal Verification of Programs via First-Order Fixpoint Logic.- A Temporal Logic for Higher-Order Functional Programs.- Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets.