Static Analysis Static Analysis

Static Analysis

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

    • 39,99 $
    • 39,99 $

От издателя

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.

ЖАНР
Компьютеры и Интернет
РЕЛИЗ
2018
28 августа
ЯЗЫК
EN
английский
ОБЪЕМ
455
стр.
ИЗДАТЕЛЬ
Springer International Publishing
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
14,3
МБ
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