This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024.
Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.
The 18 papers included here were carefully reviewed and selected from 45 submissions.
| ISBN: | 9783031747755 |
| Publication date: | 21st January 2025 |
| Author: | SAS Symposium |
| Publisher: | Springer an imprint of Springer Nature Switzerland |
| Format: | Paperback |
| Pagination: | 464 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Natural language and machine translation Compilers and interpreters Computer hardware |
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers presented in this book deal with theoretical, practical and application advances in this area.
Static Analysis features in the following genres: Mathematical theory of computation, Natural language and machine translation, Compilers and interpreters, Computer hardware
Paperback. £62.99, down from the £69.99 cover price. Not Available.
Static Analysis was written by SAS Symposium and published by Springer an imprint of Springer Nature Switzerland
Static Analysis has 464 pages
Yes it is part of Lecture Notes in Computer Science series
£62.99, reduced from £69.99. Not Available.