Static Analysis

29th International Symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022, Proceedings

AvCaterina Urban,Gagandeep Singh

E-bok
Engelska, 2022

944 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet

Beskrivning

This book constitutes the refereed proceedings of the 29th International Symposium on Static Analysis, SAS 2022, held in Auckland, New Zealand, in December 2022.

The 18 full papers included in this book were carefully reviewed and selected from 43 submissions. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance. The papers deal with theoretical, practical and application advances in the area. 


Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Gagandeep Singh, Caterina Urban - Static Analysis, Häftad
Del 13790

Static Analysis

Gagandeep Singh, Caterina Urban

Häftad, 2022

788 kr

Christos Kotsampasidis, Dilara Sakinc, Paul Deller, Jonathan Roder, Olivera Schiela, Daniel Filbert, Thu Trang Nguyen, Gagandeep Singh - MetaScrum, E-bok

MetaScrum

Christos Kotsampasidis, Dilara Sakinc, Paul Deller, Jonathan Roder, Olivera Schiela, Daniel Filbert, Thu Trang Nguyen, Gagandeep Singh

E-bok
2025

109 kr