Static Analysis 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

You must be logged in to access this title.

Sign up now

Already a member? Log in

Synopsis

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

Book details

Edition:
1st ed. 2015
Series:
Lecture Notes in Computer Science (Book 9291)
Author:
Sandrine Blazy, Thomas Jensen
ISBN:
9783662482889
Related ISBNs:
9783662482872
Publisher:
Springer Berlin Heidelberg
Pages:
N/A
Reading age:
Not specified
Includes images:
Yes
Date of addition:
2019-10-13
Usage restrictions:
Copyright
Copyright date:
2015
Copyright by:
N/A 
Adult content:
No
Language:
English
Categories:
Computers and Internet, Mathematics and Statistics, Nonfiction, Philosophy