Static Analysis
Author | : Sandrine Blazy |
Publisher | : Springer |
Total Pages | : 345 |
Release | : 2015-09-01 |
ISBN-10 | : 9783662482889 |
ISBN-13 | : 3662482886 |
Rating | : 4/5 (89 Downloads) |
Download or read book Static Analysis written by Sandrine Blazy and published by Springer. This book was released on 2015-09-01 with total page 345 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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