Editors:
- Up-to-date results
- Fast-track conference proceedings
- State-of-the-art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6887)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): SAS: International Static Analysis Symposium
Conference proceedings info: SAS 2011.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (27 papers)
-
Front Matter
About this book
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.
Editors and Affiliations
-
Computer Science Deptartement, Technion, Technion City, Israel
Eran Yahav
Bibliographic Information
Book Title: Static Analysis
Book Subtitle: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings
Editors: Eran Yahav
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-23702-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-23701-0Published: 06 September 2011
eBook ISBN: 978-3-642-23702-7Published: 15 September 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 387
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages, Programming Techniques, Simulation and Modeling