Abstrakcyjny typ danych

Abstrakcyjny typ danych (ang. abstract data type, ADT) – tworzenie i opisywanie w formalny sposób typów danych tak, że opisywane są jedynie własności danych i operacji wykonywanych na nich (a nie przez reprezentację danych i implementację operacji).

Specyfikacja ADT powinna:

• być jednoznaczna i dokładna;
• zawierać wszystkie przypadki warte rozważenia;
• nie zawierać niepotrzebnych informacji.

Podając specyfikację ADT (dowolnego typu), powinniśmy uwzględnić:

• nazwę tego typu;
• dziedzinę;
• zbiór funkcji;
• aksjomaty;
• warunki początkowe.

Przykłady

• Lista
• Zbiór
• Stos
• Kolejka
• Tablica asocjacyjna

Kontrola autorytatywna (termin informatyczny):

• LCCN: sh85000253
• GND: 4120827-4
• NKC: ph543013
• J9U: 987007292961405171
• LNB: 000296702

Encyklopedie internetowe:

• Britannica: technology/abstract-data-type
• Catalana: 0251444, 0251445