1. Abstract interpretationIn computer science, abstract interpretation is a theory of sound approximation 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 without performing all the calculations.
Read “Abstract interpretation” on English Wikipedia
Read “抽象解釈” on Japanese Wikipedia
Read “Abstract interpretation” on DBpedia
Read “Abstract interpretation” on English Wikipedia
Read “抽象解釈” on Japanese Wikipedia
Read “Abstract interpretation” on DBpedia
Discussions
Log in to talk about this word.