English Abstract interpretation Cited by user Cousotp on 20 Sep 2018 In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets…