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 semantic properties of programs without...
Price history
Oct 25, 2021
€35.60