Difference between revisions of "Abstraction"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
Abstraction 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{{: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. | ||
<noinclude> | <noinclude> | ||
| Line 6: | Line 6: | ||
=Related Pages= | =Related Pages= | ||
{{#ask: [[Category:{{}}]] | {{#ask: [[Category:{{PageName}}]] | ||
|format=list | |format=list | ||
}} | }} | ||
Revision as of 19:55, 3 January 2022
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>