Overview
- 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)
Included in the following conference series:
Conference proceedings info: SAS 2016.
Buy print copy
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.
Similar content being viewed by others
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
Table of contents (24 papers)
-
Front Matter
-
Invited Papers
-
Front Matter
-
-
Full Papers
-
Front Matter
-
Other volumes
-
Static Analysis
Editors and Affiliations
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