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.

Prinzip

Definiert Daten über Schnittstelle und Axiome (Operationen, Vorbedingungen, Nachbedingungen, Invarianten) statt über Speicherlayout oder Algorithmen; Korrektheit und Begründung basieren auf dem Vertrag zwischen Klienten und Implementierern, wodurch mehrere Implementierungen das spezifizierte Verhalten einhalten können.

Demonstration

Ein Stack‑ADT wird durch Operationen push, pop, top/peek und empty mit LIFO‑Semantik definiert: push gefolgt von pop liefert das gepushte Element; konkrete Implementierungen sind Arrays, verkettete Listen oder Ringpuffer, die alle denselben ADT‑Vertrag erfüllen.

Fehlanwendung

Ein ADT mit einer bestimmten Implementierung zu verwechseln (z. B. den Stack‑ADT mit einer Array‑Implementierung gleichzusetzen) oder Implementierungsdetails in der Spezifikation offenzulegen, untergräbt Portabilität, formale Verifikation und Komplexitätsbetrachtungen.

Konsequenz

Die Verwendung von ADTs klärt Programmkorrektheit, ermöglicht modulare Gestaltung und Austausch von Implementierungen und trennt Anliegen, sodass algorithmische Komplexität und Speicherkompromisse unabhängig vom logischen Verhalten analysiert werden können.

Umkehrung

Eine konkrete Datenrepräsentation ohne abstrakte Spezifikation macht Implementierungsentscheidungen zur API, wodurch Klienten von Repräsentationsdetails abhängig werden; die Umkehr akzeptiert keine Abstraktionsgrenze und koppelt Klienten an eine einzelne Implementierung.

Abgrenzung

Gilt auf der Ebene von Spezifikation und Softwareentwurf; schließt nieder‑level Hardwareverdrahtung, physische Speicherlayouts in eingebetteten Systemen aus, wenn diese Teil des funktionalen Vertrags sind, sowie informelle Beschreibungen ohne formale Verhaltenseigenschaften, wenn formales Schließen erforderlich ist.

Semantische Spannung

Spannung zu Datentypimplementierungen und Objektkapselung: Laufzeittypen oder Objekte einer Sprache können ADT‑Schnittstelle und Implementierung verschmelzen; die Debatte dreht sich um den Formalitätsgrad der Spezifikation (informelle Dokumentation vs. formale Axiomatisierung).

Synthese

Ein abstrakter Datentyp ist die Schnittstelle plus Verhaltensvertrag, der definiert, was Operationen tun und welche Invarianten sie wahren — er trennt die logische Spezifikation von Implementierungsentscheidungen, so dass mehrere konkrete Datenstrukturen dasselbe beobachtbare Verhalten innerhalb vorgegebener Leistungs‑ und Korrektheitsgrenzen realisieren können, während Unsicherheit über nicht‑funktionale Kompromisse besteht.