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.
| ISBN: | 9783032403735 |
| Publication date: | 7th October 2026 |
| Author: | Sébastien Bardin, Aditya V Thakur |
| Publisher: | Springer an imprint of Springer Nature Switzerland |
| Format: | Paperback |
| Pagination: | 604 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Computer hardware Natural language and machine translation Compilers and interpreters Mathematical theory of computation |
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.
Static Analysis features in the following genres: Computer hardware, Natural language and machine translation, Compilers and interpreters, Mathematical theory of computation
Paperback. £58.49, down from the £64.99 cover price. Not Available.
Static Analysis was written by Sébastien Bardin, Aditya V Thakur and published by Springer an imprint of Springer Nature Switzerland
Static Analysis has 604 pages
Yes it is part of Lecture Notes in Computer Science series
£58.49, reduced from £64.99. Not Available.