Static Analysis Static Analysis

Static Analysis

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

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

Lời Giới Thiệu Của Nhà Xuất Bản

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.

THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2018
28 tháng 8
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
455
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
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