ENGLISH

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

By Sandrine Blazy , Thomas Jensen (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2015
ISBN
978-3-662-48287-2, 978-3-662-48288-9
DOI
10.1007/978-3-662-48288-9
Language
english
Format
PDF
Filesize
14 MB (14596633 bytes)
Series
Lecture Notes in Computer Science 9291
Edition
1
Pages
XVI, 333\345
Time added
2016-03-14 21:35:01
CompilersInterpreters; Mathematical Logic and Formal LanguaLogics and Meanings of Programs; Software Engineer

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

Similar books