Static Analysis
22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings
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 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 333 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Blazy, Sandrine Jensen, Thomas |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 14.09.2015 |
| Untertitel: | 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings |
| Schlagworte: | abstract interpretation formal methods and theory of security general programming languages linear loops model checking polyhedral sets program analysis program semantics software verification and validation symbolic and algebraic manipulation |
Anmelden