Static Analysis
24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings
Seiten
2017
|
1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-66705-8 (ISBN)
Springer International Publishing (Verlag)
978-3-319-66705-8 (ISBN)
This book constitutes the refereed proceedings of the 24th International Static Analysis Symposium, SAS 2017, held in New York, NY, USA, in August/September 2017.
The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance.
The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. The papers cover various aspects of the presentation of theoretical, practical, and applicational advances in area of static analysis that is recognized as a fundamental tool for program verification, bug detection, compiler organization, program understanding, and software maintenance.
Theoretical, practical, and applicational advances in area of static analysis.- Program verification.- Bug detection.- Compiler organization.- Program understanding.- Software maintenance.
| Erscheinungsdatum | 20.09.2017 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science | Programming and Software Engineering |
| Zusatzinfo | XIV, 473 p. 114 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 732 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Informatik ► Theorie / Studium ► Compilerbau | |
| Schlagworte | Abstract Interpretation • abstract testing • Applications • bug detection • computer architecture & logic design • Computer architecture & logic design • Computer programming / software engineering • Computer Science • conference proceedings • Data Flow Analysis • floating-pont numbers • Informatics • Informatik • linear ranking functions • Logics and meanings of programs • Model Checking • new applications • program analysis • Program Semantics • Program Transformation • Program verification • Research • security analysis • Static Analysis • symbolic automata • symbolic transducers • termination analysis • theoretical frameworks • Type Checking • Type Systems |
| ISBN-10 | 3-319-66705-X / 331966705X |
| ISBN-13 | 978-3-319-66705-8 / 9783319667058 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
a beginner's guide to learning llvm compiler tools and core …
Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
CHF 69,80
