Abstract data type
From The Art and Popular Culture Encyclopedia
Related e |
Featured: |
In computer science, an abstract data type (ADT) is a mathematical model for data types, where a data type is defined by its behavior (semantics) from the point of view of a user of the data, specifically in terms of possible values, possible operations on data of this type, and the behavior of these operations. This contrasts with data structures, which are concrete representations of data, and are the point of view of an implementer, not a user.
[edit]
See also
- Concept (generic programming)
- Formal methods
- Functional specification
- Generalized algebraic data type
- Initial algebra
- Liskov substitution principle
- Type theory
- Walls and Mirrors
Unless indicated otherwise, the text in this article is either based on Wikipedia article "Abstract data type" or another language Wikipedia page thereof used under the terms of the GNU Free Documentation License; or on research by Jahsonic and friends. See Art and Popular Culture's copyright notice.