Abstrakte und Konkrete Datentypen

• abstrakter Datentyp:

  Signatur und Axiome (= Formel)

• konkreter Datentyp:

  zur Signature passende Struktur,

  die die Axiome erfüllt.

Beispiele:

• Gruppe , ($\mathbb {Z}$, + ,(x $\mapsto$ - x), 0),($\mathbb {R}$ $\setminus$ {0},⋅,(x $\mapsto$ x^-1), 1)
• Set<E> , TreeSet<E> (Axiome?)
• allgemein: Spezifikation (Schnittstelle), Implementierung