Problem Independent Methods For Accelerating Abstract Interpretation
Download Problem Independent Methods For Accelerating Abstract Interpretation PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Problem Independent Methods For Accelerating Abstract Interpretation book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Static Analysis
Author: Eran Yahav
language: en
Publisher: Springer Science & Business Media
Release Date: 2011-09-06
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.