Buch, Englisch, Band 12389, 381 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 598 g
27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings
Buch, Englisch, Band 12389, 381 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 598 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-030-65473-3
Verlag: Springer International Publishing
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.Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.