1. Generalisation; ignoring or hiding details to capture some kind of commonality between different instances. Examples are
abstract data types(the representation details are hidden),
abstract syntax(the details of the
concrete syntaxare ignored),
abstract interpretation(details are ignored to analyse specific properties).
2. Parameterisation, making something a function of something else. Examples are lambda abstractions (making a term into a function of some variable), higher-order functions (parameters are functions), bracket abstraction (making a term into a function of a variable).
Opposite of
concretisation.
Last updated: 1998-06-04
Nearby terms:abstract interpretation ♦ abstraction ♦ abstract machine ♦ Abstract Machine Notation
Try this search on Wikipedia, Wiktionary, Google, OneLook.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4