TY  - BOOK
AU  - Cousot, Patrick
PY  - 2021
DA  - 2021//
TI  - Principles of abstract interpretation
PB  - The MIT Press
CY  - Cambridge, Massachusetts
KW  - Semantic computing
KW  - Abstract data types (Computer science)
AB  - "An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"
SN  - 9780262044905
LA  - English
N1  - Patrick Cousot
ID  - 1737234459
ER  -