Static Analysis Static Analysis

Static Analysis

25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings

    • 42,99 €
    • 42,99 €

Beschreibung des Verlags

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.

GENRE
Computer und Internet
ERSCHIENEN
2018
28. August
SPRACHE
EN
Englisch
UMFANG
455
Seiten
VERLAG
Springer International Publishing
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
14,3
 MB
Computer Aided Verification Computer Aided Verification
2008
Static Analysis Static Analysis
2022
Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation
2011
Computer Aided Verification Computer Aided Verification
2018
Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems
2008
Static Analysis Static Analysis
2011