Static Analysis: 28th International Symposium SAS 2021 Chicago IL USA October 17–19 2021 Proceedings Lecture Notes in Computer Science

$15.99

Static Analysis: 28th International Symposium SAS 2021 Chicago IL USA October 17–19 2021 Proceedings Lecture Notes in Computer Science
Authors: Cezara Drăgoi (editor)
Year: 2021
Publisher: Springer
Language: English
ISBN 13: 9783030888053
ISBN 10: 3030888053
Categories: Computers, Computer Science
Pages: 320 / 319
Edition: 1st ed. 2021

Availability: 5000 in stock

SKU: 9783030888053 Categories: ,

Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings (Lecture Notes in Computer Science) Cezara Drăgoi (editor), Suvam Mukherjee (editor), Kedar Namjoshi (editor)
This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 202The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book  together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis. Categories:
Computers – Computer Science
Year:
2021
Edition:
1st ed. 2021
Publisher:
Springer
Language:
english
Pages:
496 / 494
ISBN 10:
3030888053
ISBN 13:
9783030888053
File:
157 MB

Reviews

There are no reviews yet.

Only logged in customers who have purchased this product may leave a review.

Shopping Cart
Static Analysis: 28th International Symposium SAS 2021 Chicago IL USA October 17–19 2021 Proceedings Lecture Notes in Computer Science
$15.99

Availability: 5000 in stock