interpretation, introduced in the late 1970’s [24] by P. Cousot and R. Cousot, is a framework of semantics approximation. We briefly review the major terminology of this theory. Informally, abstract interpretation aims to construct two different meanings for a programming language where the first gives the usual meaning of programs in the language, and the second can be used to answer certain q...
