Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings 2015 Edition Contributor(s): Blazy, Sandrine (Editor), Jensen, Thomas (Editor) |
|
![]() |
ISBN: 3662482878 ISBN-13: 9783662482872 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback Published: September 2015 |
Additional Information |
BISAC Categories: - Computers | Compilers - Computers | Software Development & Engineering - General - Computers | Programming Languages - General |
Dewey: 005.101 |
Series: Lecture Notes in Computer Science |
Physical Information: 0.73" H x 6.14" W x 9.21" (1.09 lbs) 333 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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 |