
Static Analysis
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.
- Undertitel
- 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
- Redaktör
- Roberto Giacobazzi, Alessandra Gorla
- Upplaga
- 2024 ed.
- ISBN
- 9783031747755
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2025-01-21
- Sidor
- 464
