| 书目名称 | Static Analysis |
| 副标题 | 27th International S |
| 编辑 | David Pichardie,Mihaela Sighireanu |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020..The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions...The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking. .. .Due to the Corona pandemic this event was held virtually. |
| 出版日期 | Conference proceedings 2020 |
| 关键词 | logics and meanings of programs; static analysis; logics and meanings of programs; abstract domains; abs |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-65474-0 |
| isbn_softcover | 978-3-030-65473-3 |
| isbn_ebook | 978-3-030-65474-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer Nature Switzerland AG 2020 |
发表于 2025-3-21 19:51:42
