Abstraktus duomenų tipas
Abstraktus duomenų tipas (ADT) – tai abstrakti, matematiškai apibrėžta klasė, kuri įgyvendina aibę objektų su sekančiomis savybėmis: ADT turi griežtą sąsajos aprašą; Turi aksiomas ar metodus, kurie leidžia keisti vidinę ADT būseną; ADT leidžia lengviau suskaldyti programos kodą į mažesnes nepriklausomas programos dalis, nekeičiant programos korektiškumo. ADT taip pat gali būti traktuojamas kaip specifikacija algoritmo problemos sprendimui. ADT apgaubia ir apjungia savyje duomenis ir algoritmus, pakeliant abstrakcijos lygį.