Difference between revisions of "Abstraction"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
Abstraction{{:Paper/Abstract Interpretation}} 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. | Abstraction<ref>{{:Paper/Abstract Interpretation}}</ref>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. | ||
<noinclude> | <noinclude> | ||
Revision as of 19:56, 3 January 2022
Abstraction[1]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
- ↑ Cousot, 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.
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>