Verwandte Artikel zu Static Analysis: 19th International Symposium, SAS...

Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings (Programming and Software Engineering, Band 7460) - Softcover

 
9783642331244: Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings (Programming and Software Engineering, Band 7460)
Softcover
ISBN 10: 3642331246 ISBN 13: 9783642331244
Verlag: Springer, 2012

Inhaltsangabe

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Von der hinteren Coverseite

This book constitutes the thoroughly refereed proceedings of the 19th International Symposium on Static Analysis, SAS 2012, held in Deauville, France, in September 2012. The 25 revised full papers presented together with 4 invited talks were selected from 62 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
3642331246
ISBN 13 
9783642331244
Einband
Taschenbuch
Anzahl der Seiten
472
Herausgeber
Mine Antoine, Schmidt David
Kontakt zum Hersteller
GPSR Kontakt
ProductSafety@springernature.com

Slevogtstraße 3-5
Heidelberg
69126
Deutschland