%0 Book
%T Principles of abstract interpretation
%A Cousot, Patrick
%D 2021
%I The MIT Press
%C Cambridge, Massachusetts
%@ 9780262044905
%G English
%F 1737234459
%O Patrick Cousot
%O Literaturverzeichnis: Seiten 725-777
%X "An introduction to the theory and practice of abstract interpretation, with applications to the semantics, specification, verification, and static analysis of computer programs"
%L 006
%K Semantic computing
%K Abstract data types (Computer science)
%9 Text