Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 11822)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: SAS 2019.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (22 papers)
-
Invited Contributions
-
Pointers and Dataflow
-
Languages and Decidability
-
Trends: Assuring Machine Learning
Other volumes
-
Static Analysis
Keywords
- logics and meanings of programs
- static analysis
- abstract domains
- abstract interpretation
- automated deduction
- data flow analysis
- debugging
- deductive methods
- model checking
- program optimizations and transformations
- program synthesis
- program verification
- security analysis
- tool environments and architectures
- type checking
About this book
The 20 regular papers presented in this book were carefully reviewed and selected from 50 submissions.
The papers are grouped in topical sections on pointers and dataflow; languages and decidability; numerical; trends: assuring machine learning; synthesis and security; and temporal properties and termination.
Editors and Affiliations
Bibliographic Information
Book Title: Static Analysis
Book Subtitle: 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
Editors: Bor-Yuh Evan Chang
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-32304-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-32303-5Published: 06 October 2019
eBook ISBN: 978-3-030-32304-2Published: 05 October 2019
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 481
Number of Illustrations: 1763 b/w illustrations, 374 illustrations in colour
Topics: Logics and Meanings of Programs, Software Engineering, Programming Languages, Compilers, Interpreters, Mathematical Logic and Formal Languages