Static Analysis, 1st ed. 2020 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings Programming and Software Engineering Series
Coordonnateurs : Pichardie David, Sighireanu Mihaela
The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions.
The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking.
Due to the Corona pandemic this event was held virtually.
Polynomial Invariants for Affine Programs.- Cost Analysis of Smart Contracts via Parametric Resource Analysis.- Memory-Efficient Fixpoint Computation.- Abstract Neural Networks.- Termination of Polynomial Loops.- Stratified Guarded First-order Transition Systems.- Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking.- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis.- Harming Dynamic Analysis.- Simple and Efficient Computation of Minimal Weak Control Closure.- A Library Modeling Language for the Static Analysis of C Programs.- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries.- Probabilistic Lipschitz Analysis of Neural Networks.- On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs.- Exact and Linear-Time Gas-Cost Analysis.- Farkas-Based Tree Interpolation.
Date de parution : 01-2021
Ouvrage de 381 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 73,84 €
Ajouter au panierThème de Static Analysis :
Mots-clés :
logics and meanings of programs; static analysis; logics and meanings of programs; abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; model checking; program optimizations and transformations; program synthesis; program verification; security analysis; tool environments and architectures; type checking; distributed systems; formal logic; program compilers; embedded systems