정보
- ISBN : 9780262043410
- 출판사 : MIT Press (MA)
- 출판일 : 20200211
- 저자 : Kwangkeun Yi
요약
● ● A self-contained introduction to abstract interpretation-based static analysis, an essential resource for students, developers, and users.x0Dx0DStatic program analysis, or static analysis, aims to discover semantic properties of programs without running them. It plays…
Introduction to Static Analysis: An Abstract Interpretation Perspective