Static Analysis
24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Editors: Ranzato, Francesco (Ed.)
Free PreviewBuy 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.
- Table of contents (22 chapters)
-
-
Probabilistic Horn Clause Verification
Pages 1-22
-
Combining Forward and Backward Abstract Interpretation of Horn Clauses
Pages 23-45
-
Abstract Semantic Diffing of Evolving Concurrent Programs
Pages 46-65
-
Learning Shape Analysis
Pages 66-87
-
Securing the SSA Transform
Pages 88-105
-
Table of contents (22 chapters)
- Download Preface 1 PDF (48.1 KB)
- Download Sample pages 2 PDF (689.2 KB)
- Download Table of contents PDF (71.3 KB)
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
- 114 b/w illustrations
- Topics