- Nyhet
Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
AvAlessandra Gorla,Roberto Giacobazzi
E-bok
Engelska, 20251 150 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 14995
Verification, Model Checking, and Abstract Interpretation
Isabella Mastroeni, Josh Berdine, Roberto Giacobazzi
E-bok
2013739 kr
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Roberto Giacobazzi, John P. Gallagher, Pedro Lopez-Garcia
E-bok
20231 798 kr
Del 13160
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Häftad, 2023
1 479 kr
Verification, Model Checking, and Abstract Interpretation
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni
Häftad, 2013
573 kr
- Signerad!
- Signerad!
Del 3