Abstraction
Jump to navigation
Jump to search
AbstractionCousot, Patrick; Cousot, Radhia (1977). Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints (PDF). 4th POPL. local page: ACM Press. p. 238-252.
is a mechanism that maps a concrete instance to a single generic collection of instances. This mapping may lose information in the process, but helps compress unnecessary information.
References
Related Pages
<ul><li>The part ":Template:PageName" of the query was not understood.Results might not be as expected.</li> <!--br--><li>The symbol ":Template:PageName" was used in a place where it is not useful.</li> <!--br--><li>The part "]]" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some subquery has no valid condition.</li></ul>