Static Analysis by Sébastien Bardin
This book constitutes the refereed proceedings of the 33rd International Static Analysis Symposium, SAS 2026, held in Oakland, CA, USA, during October 6–8, 2026.
The 20 papers included here were carefully reviewed and selected from 43 submissions. They focus on 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.
-
To the Ends of the Earth
-
Computational Logic in Multi-Agent Systems
-
Fuzzy Logic in Artificial Intelligence: Towards Intelligent Systems
-
Computational and Corpus-Based Phraseology
-
Replication
-
Autonomous Intelligent Systems: Multi-Agents and Data Mining
-
Genetic Programming
-
Transactional Agents
-
Computer Safety, Reliability, and Security
-
Performance Evaluation of Complex Systems: Techniques and Tools
-
Evolutionary Computation in Combinatorial Optimization
-
Extended Reality
-
Informatics in Schools. Challenges and Opportunities in Informatics Education in the Era of AI
-
Cognitive Computing - ICCC 2026
-
Computer Information Systems and Industrial Management
-
Pattern Recognition. ICPR 2026 International Workshops
-
Computational Logistics
- Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems
-
Software and Systems Reuse, Product Lines, and Configuration
-
OpenMP: Adaptability for Heterogeneous Multi‑Device Systems
-
Logic Programming and Nonmonotonic Reasoning
-
Advances in Databases and Information Systems
-
Financial Cryptography and Data Security
| SKU | Unavailable |
| ISBN 13 | 9783032403735 |
| ISBN 10 | 3032403731 |
| Title | Static Analysis |
| Author | Sébastien Bardin |
| Series | Lecture Notes In Computer Science |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer Nature Switzerland AG |
| Year published | 2026-11-01 |
| Number of pages | 603 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |