Programming and Software Engineering
© 2017
Static Analysis
24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Editors: Ranzato, Francesco (Ed.)
Buy this book
- About this book
-
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.
Read this book on SpringerLink
- Download Preface 1 PDF (48.1 KB)
- Download Sample pages 2 PDF (689.2 KB)
- Download Table of contents PDF (71.3 KB)
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Static Analysis
- Book Subtitle
- 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
- Editors
-
- Francesco Ranzato
- Series Title
- Programming and Software Engineering
- Series Volume
- 10422
- Copyright
- 2017
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing AG
- eBook ISBN
- 978-3-319-66706-5
- DOI
- 10.1007/978-3-319-66706-5
- Softcover ISBN
- 978-3-319-66705-8
- Edition Number
- 1
- Number of Pages
- XIV, 473
- Number of Illustrations and Tables
- 114 b/w illustrations
- Topics
