Difference between revisions of "Abstraction"
Jump to navigation
Jump to search
(Created page with "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 unne...") |
|||
| (4 intermediate revisions by the same user not shown) | |||
| 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<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> | |||
=References= | |||
<references/> | |||
=Related Pages= | |||
{{#ask: [[Category:{{PAGENAME}}]] | |||
|format=list | |||
}} | |||
[[Category:Abstract Interpretation]] | |||
[[Category:Language]] | |||
[[Category:Game]] | |||
</noinclude> | |||
Latest revision as of 20:37, 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
Thesis/Fexprs as the basis of Lisp function application or $vau : the ultimate abstraction, Universal abstraction, Universal data abstraction, Video/Jim Keller: Abstraction Layers from the Atom to the Data Center, Video/Seven ways to visualize functions, Video/The Art of Abstraction - Computerphile