Static Analysis
Editat de Xavier Rivalen Limba Engleză Paperback – 31 aug 2016
The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains; abstract interpretation; abstract testing; bug detection; data flow analysis; model checking; new applications; program transformation; program verification; security analysis; theoretical frameworks; and type checking.
Preț: 333.62 lei
Preț vechi: 417.03 lei
-20%
Puncte Express: 500
Preț estimativ în valută:
58.95€ • 67.95$ • 51.47£
58.95€ • 67.95$ • 51.47£
Carte tipărită la comandă
Livrare economică 16-30 mai
Specificații
ISBN-13: 9783662534120
ISBN-10: 3662534126
Pagini: 524
Ilustrații: X, 511 p. 175 illus.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.79 kg
Ediția:1st edition 2016
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3662534126
Pagini: 524
Ilustrații: X, 511 p. 175 illus.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.79 kg
Ediția:1st edition 2016
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
The MMIX SupplementMartin Ruckert-20%Preț: 158.51 lei198.14 lei -
-20%Preț: 107.31 lei134.14 lei -
AlgorithmsRobert Sedgewick-20%Preț: 526.25 lei657.81 lei -
Hacker's DelightHenry Warren-20%Preț: 345.32 lei431.66 lei -
From Mathematics to Generic ProgrammingAlexander Stepanov-20%Preț: 211.43 lei264.29 lei -
Programming ChallengesSteven S Skiena-20%Preț: 469.65 lei587.07 lei -
-20%Preț: 300.78 lei375.97 lei -
Computational InelasticityJ. C. Simo-20%Preț: 561.64 lei702.05 lei -
Julia for Data ScienceDr Zacharias Voulgaris Ph.D.-20%Preț: 221.41 lei276.77 lei -
Functional Programming Patterns in Scala and ClojureMichael Bevilacqua-Linn-20%Preț: 203.00 lei253.75 lei
Cuprins
Quantitative Monitor Automata.- The Julia Static Analyzer for Java.- Automated Verification of Linearization Policies.- Structure-Sensitive Points-To Analysis for C and C.- Bounded Abstract Interpretation.- Completeness in Approximate Transduction.- Relational Verification through Horn clause transformation.- Securing A Compiler Transformation.- Exploiting sparsity in difference-bound matrices.- Flow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs.- Learning a Variable-Clustering Strategy for Octagon From Labeled Data Generated by a Static Analysis.- Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Program.- Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant.- On the linear ranking problem for simple floating-point loops.- Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM.- A Parametric Abstract Domain for Lattice-Valued Regular Expressions.- Cell morphing: from array programs to array-free Horn clauses.- Loopy: Programmable and Formally Verified Loop Transformations.- Abstract Interpretation of Supermodular Games.- Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants.- Enforcing Termination of Interprocedural Analysis.- From Array Domains to Abstract Interpretation under Store-Buffer-Based Memory Models.- Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting.
Caracteristici
Includes supplementary material: sn.pub/extras