# abstract data type

Also found in: Dictionary, Thesaurus, Medical, Legal, Acronyms, Wikipedia.

## abstract data type

(computer science)
A mathematical model which may be used to capture the essentials of a problem domain in order to translate it into a computer program; examples include queues, lists, stacks, trees, graphs, and sets. Abbreviated ADT.

## Abstract data type

A mathematical entity consisting of a set of values (the carrier set) and a collection of operations that manipulate them. For example, the Integer abstract data type consists of a carrier set containing the positive and negative whole numbers and 0, and a collection of operations manipulating these values, such as addition, subtraction, multiplication, equality comparison, and order comparison.

#### Abstraction

To abstract is to ignore some details of a thing in favor of others. Abstraction is important in problem solving because it allows problem solvers to focus on essential details while ignoring the inessential, thus simplifying the problem and bringing to attention those aspects of the problem involved in its solution. Abstract data types are important in computer science because they provide a clear and precise way to specify what data a program must manipulate, and how the program must manipulate its data, without regard to details about how data are represented or how operations are implemented. Once an abstract data type is understood and documented, it serves as a specification that programmers can use to guide their choice of data representation and operation implementation, and as a standard for ensuring program correctness.

A realization of an abstract data type that provides representations of the values of its carrier set and algorithms for its operations is called a data type. Programming languages typically provide several built-in data types, and usually also facilities for programmers to create others. Most programming languages provide a data type realizing the Integer abstract data type, for example. The carrier set of the Integer abstract data type is a collection of whole numbers, so these numbers must be represented in some way. Programs typically use a string of bits of fixed size (often 32 bits) to represent Integer values in base two, with one bit used to represent the sign of the number. Algorithms that manipulate these strings of bits implement the operations of the abstract data type. See Algorithm, Programming languages

Realizations of abstract data types are rarely perfect. Representations are always finite, while carrier sets of abstract data types are often infinite. Many individual values of some carrier sets (such as real numbers) cannot be precisely represented on digital computers. Nevertheless, abstract data types provide the standard against which the data types realized in programs are judged.

#### Usefulness

Such specifications of abstract data types provide the basis for their realization in programs. Programmers know which data values need to be represented, which operations need to be implemented, and which constraints must be satisfied. Careful study of program code and the appropriate selection of tests help to ensure that the programs are correct. Finally, specifications of abstract data types can be used to investigate and demonstrate the properties of abstract data types themselves, leading to better understanding of programs and ultimately higher-quality software. See Computer programming, Software engineering

A major trend in computer science is the object-oriented paradigm, an approach to program design and implementation using collections of interacting entities called objects. Objects incorporate both data and operations. In this way they mimic things in the real world, which have properties (data) and behaviors (operations). Objects that hold the same kind of data and perform the same operations form a class.

Abstract data values are separated from abstract data type operations. If the values in the carrier set of an abstract data type can be reconceptualized to include not only data values but also abstract data type operations, then the elements of the carrier set become entities that incorporate both data and operations, like objects, and the carrier set itself is very much like a class. The object-oriented paradigm can thus be seen as an outgrowth of the use of abstract data types. See Object-oriented programming

## abstract data type

(programming)
(ADT) A kind of data abstraction where a type's internal form is hidden behind a set of access functions. Values of the type are created and inspected only by calls to the access functions. This allows the implementation of the type to be changed without requiring any changes outside the module in which it is defined.

Objects and ADTs are both forms of data abstraction, but objects are not ADTs. Objects use procedural abstraction (methods), not type abstraction.

A classic example of an ADT is a stack data type for which functions might be provided to create an empty stack, to push values onto a stack and to pop values from a stack.

Reynolds paper.

## abstract data type

A unique data type that is defined by the programmer. It may refer to an object class in object-oriented programming or to a special data type created in traditional, non-OOP languages. See abstraction, object-oriented programming and data type.
References in periodicals archive ?
The more recent C++ language has the implicit/limited functionality of the abstract data type (Stroustrup, 1986) (Stroustrup, 1994).
After you define an abstract data type, you can use it in your C# code just as you would a primitive data type.
An algorithm could be implemented as an abstract data type such that the execution of its core loops is delegated to iteration methods.
Abstract data types consist of data types and operations that encapsulate the data types, i.
Meyer [29], for example, concentrates on class development using formal specification of abstract data types (ADTs) to define behavior and provides examples on how to transform a functional design to an object-oriented design to an object-oriented Yourdon [12] present an object-oriented analysis (OOA) method, using data modeling techniques, in which they define the system architecture in terms of assembly and classification structures.
Implement and execute Gries's program in a language that supports abstract data types.
A notation for describing abstract data types and language bindings of such types is provided.
Ada is a suitable language to teach in computer science curricula because it was designed and standardized to support widely recognized software engineering principles, including reliability, portability, modularity, reusability, efficiency, maintainability, information hiding, abstract data types, concurrent programming, and object-oriented programming.
Based on object-oriented programming, Eiffel includes support for object classes, which often correspond to abstract data types, and type inheritance.
This includes variable arrays and abstract data types not offered by other vendors.
One way of ensuring atomicity of actions is to implement applications in terms of atomic data types: abstract data types whose objects ensure serializability and recoverability of actions using them.
5 also introduces support for Oracle deployments that require advanced security and complex data structures including variable arrays and abstract data types, which are not offered by other vendors.

Site: Follow: Share:
Open / Close