Static Analysis
| Author | : Sandrine Blazy |
| Publisher | : Springer |
| Total Pages | : 345 |
| Release | : 2015-09-01 |
| ISBN-10 | : 9783662482889 |
| ISBN-13 | : 3662482886 |
| Rating | : 4/5 (886 Downloads) |
Book Synopsis Static Analysis by : Sandrine Blazy
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
