Ebook: Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
- Tags: Logics and Meanings of Programs, Software Engineering, Programming Languages Compilers Interpreters, Mathematical Logic and Formal Languages
- Series: Lecture Notes in Computer Science 9291
- Year: 2015
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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
Download the book Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)