Blick ins Buch

Static Analysis

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

Sandrine Blazy, Thomas Jensen (Herausgeber)

Buch | Softcover

XVI, 333 Seiten

2015 | 1st ed. 2015
Springer Berlin (Verlag)
978-3-662-48287-2 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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

Erscheint lt. Verlag	14.9.2015
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Theoretical Computer Science and General Issues
Zusatzinfo	XVI, 333 p. 90 illus.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Themenwelt	Informatik ► Theorie / Studium ► Compilerbau
Schlagworte	Abstract Interpretation • Applications • Computer Science • conference proceedings • formal methods and theory of security • general programming languages • Informatics • linear loops • Logics and meanings of programs • Model Checking • polyhedral sets • polynomial inductive invariants • program analysis • program reasoning • Program Semantics • property driven • Reachability Analysis • Research • SMT solving • Software engineering • software functional properties • Software Verification and Validation • support functions • symbolic and algebraic manipulation • Theory of Computation • Type Systems
ISBN-10	3-662-48287-8 / 3662482878
ISBN-13	978-3-662-48287-2 / 9783662482872
Zustand	Neuware