Static Analysis
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
Published on 3. August 2012
Book
Paperback/Softback
XI, 457 pages
978-3-642-33124-4 (ISBN)
Description
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.
More details
Series
Edition
2012 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
153 s/w Abbildungen
XI, 457 p. 153 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 26 mm
Weight
709 gr
ISBN-13
978-3-642-33124-4 (9783642331244)
DOI
10.1007/978-3-642-33125-1
Schweitzer Classification
Other editions
Additional editions
Antoine Mine | David Schmidt
Static Analysis
19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
E-Book
08/2012
Springer
€53.49
Available for download
Content
Static analysis.- Including abstract domains.- Abstract interpretation.- Abstract testing.- Data flow analysis.- Bug detection.- Program transformation.- Program verification.- Security analysis and type checking.