Abstrakter Datentyp

Eine Spezifikation einer Datenkategorie durch die Menge der Operationen, die darauf ausgeführt werden können, und die Eigenschaften (verhaltenssemantisch), die diese Operationen erfüllen müssen, unabhängig von einer konkreten Implementierung.