Static Analysis
32nd International Symposium, SAS 2025, Singapore, Singapore, October 13–14, 2025, Proceedings
Sorozatcím: Lecture Notes in Computer Science;
-
20% KEDVEZMÉNY?
- A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.
- Kiadói listaár EUR 79.17
-
32 835 Ft (31 272 Ft + 5% áfa)
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.
- Kedvezmény(ek) 20% (cc. 6 567 Ft off)
- Kedvezményes ár 26 268 Ft (25 018 Ft + 5% áfa)
Iratkozzon fel most és részesüljön kedvezőbb árainkból!
Feliratkozom
32 835 Ft
Beszerezhetőség
Megrendelésre a kiadó utánnyomja a könyvet. Rendelhető, de a szokásosnál kicsit lassabban érkezik meg.
Why don't you give exact delivery time?
A beszerzés időigényét az eddigi tapasztalatokra alapozva adjuk meg. Azért becsült, mert a terméket külföldről hozzuk be, így a kiadó kiszolgálásának pillanatnyi gyorsaságától is függ. A megadottnál gyorsabb és lassabb szállítás is elképzelhető, de mindent megteszünk, hogy Ön a lehető leghamarabb jusson hozzá a termékhez.
A termék adatai:
- Kiadó Springer Nature Switzerland
- Megjelenés dátuma 2025. október 8.
- ISBN 9783032071057
- Kötéstípus Puhakötés
- Terjedelem423 oldal
- Méret 235x155 mm
- Nyelv angol
- Illusztrációk XX, 423 p. 128 illus., 79 illus. in color. 693
Kategóriák
Hosszú leírás:
This book constitutes the refereed proceedings of the 32nd International Static Analysis Symposium, SAS 2025, held in Singapore, Singapore, in October 2025.
The 15 papers included here were carefully reviewed and selected from 32 submissions.
The papers presented in this book deal with abstract interpretation, automated deduction, data flow analysis, debugging techniques, deductive methods, emerging applications, model checking, data science, program optimizations and transformations, program synthesis, program verification, machine learning and verification, security analysis, tool environments and architectures, theoretical frameworks, type checking, distributed or networked systems, and LLM for static analysis and static analysis for LLM.
Több
Tartalomjegyzék:
.- On a simple problem due to Yves Bertot.
.- Verifying Neural Networks with PyRAT.
.- Contextual Equality Saturation.
.- A Programming Language for Feasible Solutions.
.- Specifying and Verifying Future Conditions.
.- AURA: Precise Abstract Interpretation of Probabilistic Programs with
Interval Data Uncertainty.
.- Comparing the Precision of Abstract Operators in the eBPF Verifier
using Differential Synthesis.
.- Bounded-Exhaustive Subspace Diversification for SMT Solver Testing.
.- Abstracting Concolic Execution for Soft Contract Verification.
.- Enhancing Neural Network Robustness via Synthesis of Repair Programs.
.- Relating Distances and Abstractions: An Abstract Interpretation
Perspective.
.- Ductape: Optimizing Dynamically Typed Programs Using
Ahead-of-Time Compilation and Data-Flow Analysis.
.- Automated Catamorphism Synthesis for Solving Constrained Horn
Clauses over Algebraic Data Types.
.- Formal Analysis of Networked PLC Controllers Interacting with
Physical Environments.
.- Monarch: A Modular Framework for Abstract Definitional Interpreters
in Haskell.
.- Delta Store Semantics: Abstract Garbage Collection for Abstract
Definitional Interpreters.
