Static Analysis

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

18th International Symposium, SAS 2011. Venice, Italy, September 14-16,2011. Proceedings, Lecture Notes in Computer Science 6887 – Programming and Software Engineering

ISBN: 3642237010
ISBN 13: 9783642237010
Herausgeber: Eran Yahav
Verlag: Springer Verlag GmbH
Umfang: xii, 387 S.
Erscheinungsdatum: 06.09.2011
Auflage: 1/2011
Produktform: Kartoniert
Einband: KT

This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011.The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.

Artikelnummer: 9724387 Kategorie:

Beschreibung

This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011. The 22 revised full papers were selected from 67 submissions. Also included in this volume are the abstracts of the invited talks that were given at the symposium by renowned experts in the field. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.

Das könnte Ihnen auch gefallen …