Static Analysis Static Analysis

Static Analysis

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

    • US$ 39,99
    • US$ 39,99

Descrição da editora

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.

GÊNERO
Computadores e Internet
LANÇADO
2018
28 de agosto
IDIOMA
EN
Inglês
PÁGINAS
455
EDITORA
Springer International Publishing
VENDEDOR
Springer Nature B.V.
TAMANHO
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