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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!