Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.
The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance.

List of contents

Theoretical, practical, and applicational advances in area of static analysis.- Program verification.- Bug detection.- Compiler organization.- Program understanding.- Software maintenance.

Summary

This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance. 

Product details

• Assisted by: Francesco Ranzato (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 21.08.2017
• EAN: 9783319667058
• ISBN: 978-3-31-966705-8
• No. of pages: 473
• Dimensions: 156 mm x 24 mm x 239 mm
• Weight: 733 g
• Illustrations: XIV, 473 p. 114 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Software Engineering, Compiler und Übersetzer, computer science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical theory of computation, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters, type checking, Theoretical frameworks, termination analysis, symbolic transducers