Abstrakte Datentypen

Beispiele (Java Collections Framework)

• Schnittstellen (abstrakte Datentypen):

  Folge, Menge, Abbildung

• Implementierungen (konkrete Datentypen):

  ...

Definition:

• ADT ist Spezifikation (= Signatur und Axiome)
• KDT ist ein Modell der Spezifikation: zur Signatur passende Algebra, die die Axiome erfüllt