Static Analysis
22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
Sandrine Blazy editor Thomas Jensen editor
Format:Paperback
Publisher:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Published:14th Sep '15
Should be back in stock very soon
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
ISBN: 9783662482872
Dimensions: unknown
Weight: unknown
333 pages
1st ed. 2015