adalah definisi TYPE dan sekumpulan PRIMITIF (operasi
dasar) terhadap TYPE tersebut. Selain itu, dalam sebuah ADT yang lengkap disertakan
pula definisi invarian dari TYPE dan aksioma yang berlaku. ADT merupakan definisi
statik.
Definisi type dari sebuah ADT dapat mengandung sebuah definisi ADT lain. Misalnya:
• ADT Waktu yang terdiri dari ADT JAM dan ADT DATE.
• GARIS yang terdiri dari dua buah POINT.
• SEGI4 yang terdiri dari pasangan dua buah POINT (Top, Left) dan (Bottom,Right).
Type diterjemahkan menjadi type terdefinisi dalam bahasa yang bersangkutan, misalnya
menjadi record dalam bahasa Ada/Pascal atau struct dalam bahasa C.
Sumber
