Static Analysis

Static Analysis
Author :
Publisher : Springer
Total Pages : 345
Release :
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


Static Analysis Related Books