Static analysis: 31st international symposium, sas 2024, pasadena, ca, usa, october 20–22, 2024, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783031747755
Date de publication :
21 janv. 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.