Difference between revisions of "Abstraction"
Jump to navigation
Jump to search
| Line 11: | Line 11: | ||
[[Category:Abstract Interpretation]] | [[Category:Abstract Interpretation]] | ||
[[Category:Language]] | |||
[[Category:Game]] | |||
</noinclude> | </noinclude> | ||
Revision as of 19:57, 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>