Overview
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015. The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance are addressed, featuring theoretical, practical, and application advances in the area
- | Author: Sandrine Blazy
- | Publisher: Springer
- | Publication Date: Sep 14, 2015
- | Number of Pages: 333 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3662482878
- | ISBN-13: 9783662482872
