Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9837)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): SAS: International Static Analysis Symposium
Conference proceedings info: SAS 2016.
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 (24 papers)
-
Front Matter
-
Invited Papers
-
Front Matter
-
-
Full Papers
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the 23rd International Static Analysis Symposium, SAS 2016, held in Edinburgh, UK, in September 2016.
The 21 papers presented in this volume were carefully reviewed and selected from 55 submissions. The contributions cover a variety of multi-disciplinary topics in 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.
Keywords
- abstract interpretation
- model checking
- program semantics
- program verification
- type systems
- abstract testing
- bug detection
- data flow analysis
- floating-point numbers
- linear ranking functions
- new applications
- program analysis
- program transformation
- security analysis
- static analysis
- symbolic automata
- symbolic transducers
- termination analysis
- theoretical frameworks
- type checking
Editors and Affiliations
-
Ecole Normale Supérieure , Paris, France
Xavier Rival
Bibliographic Information
Book Title: Static Analysis
Book Subtitle: 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
Editors: Xavier Rival
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-662-53413-7
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Germany 2016
Softcover ISBN: 978-3-662-53412-0Published: 31 August 2016
eBook ISBN: 978-3-662-53413-7Published: 01 September 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 511
Number of Illustrations: 175 b/w illustrations
Topics: Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Software Engineering, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages