In computer science, abstract interpretation is a {clarify span|theory of sound approximation|date=May 2014} of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices. It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g. control-flow, data-f...