VDict - Definition of abstraction

Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), French - Vietnamese)

abstraction

Jump to user comments

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 syntax are

ignored), abstract interpretation (details are ignored to

analyse specific properties).

2. programming Parameterisation, making something a function

of something else. Examples are lambda abstractions (making

a term into a function of some variable), higher-orderfunctions (parameters are functions), bracket abstraction

(making a term into a function of a variable).

Opposite of concretisation.

(1998-06-04)

Related search result for "abstraction"

Words contain "abstraction":
abstraction beta abstraction bracket abstraction Captain Abstraction data abstraction eta abstraction Fortran Matrix Abstraction Technique Fortran Hardware Abstraction Layer lambda abstraction Language for the On-Line Investigation and Transformation of Abstractions more...
Words contain "abstraction" in its definition in Computing (FOLDOC) dictionary:
alpha conversion beta abstraction bracket abstraction abstract data type beta reduction lambda abstraction Captain Abstraction Weak Head Normal Form constant applicative form data abstraction more...

Comments and discussion on the word "abstraction"