Buch, Englisch, Band 11002, 445 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 686 g
25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings
Buch, Englisch, Band 11002, 445 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 686 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-319-99724-7
Verlag: Springer International Publishing
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Static Analysis.- Program Verification.-Bug Detection.- Compiler Organization.- Program Understanding.- Software Maintenance.