Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11002)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SAS 2018.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the refereed proceedings of the 25th International Static Analysis Symposium, SAS 2018, held in Freiburg, Germany, in August 2018.
The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
The 18 papers presented in this volume were carefully reviewed and selected from 37 submissions. The contributions cover a variety of multi-disciplinary topics in abstract domains: program verication, bug detection, compiler optimization, program understanding, and software maintenance.
Similar content being viewed by others
Table of contents (25 papers)
-
Back Matter
Other volumes
-
Static Analysis
Editors and affiliations
Accessibility information
Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.
Bibliographic information
Book title: Static Analysis
Book subtitle: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
Editors: Andreas Podelski
Series title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-99725-4
Publisher: Springer Cham
eBook packages: Computer Science, Computer Science (R0), Springer Nature Proceedings Computer Science
Copyright information: Springer Nature Switzerland AG 2018
Softcover ISBN: 978-3-319-99724-7Published: 29 August 2018
eBook ISBN: 978-3-319-99725-4Published: 28 August 2018
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition number: 1
Number of pages: X, 445
Number of illustrations: 102 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Programming Languages, Compilers, Interpreters, Programming Techniques, System Performance and Evaluation, The Computing Profession
Keywords
- static analysis
- program verification
- bug detection
- compiler organization
- program understanding
- software maintenance
- software engineering
- software evaluation
- semantics
- model checking
- specifications
- verification
- programming languages
- static analysis
- computer compilers
- formal methods
- formal logic
- telecommunication networks
- telecommunication traffic