Principles of abstract interpretation - Cousot, Patrick (Cambridge The MIT Press., 2021)
Keywords: Semantic computing; Abstract data types (Computer science)