Static Analysis
25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
E-bok
Engelska, 2018739 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.
The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 11028
Tools and Algorithms for the Construction and Analysis of Systems
Kurt Jensen, Andreas Podelski
Häftad, 2004
1 135 kr
Tools and Algorithms for the Construction and Analysis of Systems
Andreas Podelski, Kurt Jensen
E-bok
20041 470 kr
Verification, Model Checking, and Abstract Interpretation
Andreas Podelski, Byron Cook
E-bok
2007739 kr
Verification, Model Checking, and Abstract Interpretation
Byron Cook, Andreas Podelski
Häftad, 2007
571 kr
Verified Software: Theories, Tools, Experiments
Rajeev Joshi, Peter Müller, Andreas Podelski
Häftad, 2012
571 kr
Verified Software: Theories, Tools, Experiments
Andreas Podelski, Peter Muller, Rajeev Joshi
E-bok
2012739 kr