This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. 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.
| ISBN: | 9783030323035 |
| Publication date: | 6th October 2019 |
| Author: | BorYuh Evan Chang |
| Publisher: | Springer Nature Switzerland AG |
| Format: | Paperback |
| Pagination: | 481 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Software Engineering Compilers and interpreters |
This book constitutes the refereed proceedings of the 26th International Symposium on Static Analysis, SAS 2019, held in Porto, Portugal, in October 2019. 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.
Static Analysis features in the following genres: Mathematical theory of computation, Software Engineering, Compilers and interpreters
Static Analysis is available in Paperback
Static Analysis was written by BorYuh Evan Chang and published by Springer Nature Switzerland AG
Static Analysis has 481 pages
Yes it is part of Lecture Notes in Computer Science series
£40.49