Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings

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.

List of contents

Static Analysis.- Program Verification.-Bug Detection.- Compiler Organization.- Program Understanding.- Software Maintenance.

Summary

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.

Product details

• Assisted by: Andreas Podelski (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 29.08.2018
• EAN: 9783319997247
• ISBN: 978-3-31-999724-7
• No. of pages: 445
• Dimensions: 154 mm x 244 mm x 26 mm
• Weight: 686 g
• Illustrations: X, 445 p. 102 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Computerprogrammierung und Softwareentwicklung, Informationstechnik (IT), allgemeine Themen, Systemanalyse und -design, Compiler und Übersetzer, computer science, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer programming, Systems analysis & design, Computers, Information technology: general issues, Computer programming / software engineering, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer system failures, System Performance and Evaluation, Computer logic, The Computing Profession, Computer certification, Computer Science Logic and Foundations of Programming, Compilers and Interpreters