1 / 1
- 2020
- year of publication
- 320
- pages
- English (United States)
- language
- Hardcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6204-341-0
- EAN
- 9780262043410
- Publication date
- 2020-02-11
- Book
- Introduction to Static Analysis · 1 edition
The publisher on this edition
A self-contained introduction to abstract interpretation–based static analysis, an essential resource for students, developers, and users. Static program analysis, or static analysis, aims to discover...