Static Analysis

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

333 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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

• Reihe: Theoretical Computer Science and General Issues
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783662482872
• Sprache: Englisch
• Erscheinungsdatum: 14.09.2015
• Größe: 23.5 x 15.5 cm
• Verlag: Springer Berlin
• Herausgegeben von: Sandrine Blazy, Thomas Jensen