Abstrakte Datentypen, Beispiel Abbildung

Schnittstelle (ohne Implementierung), beschreibt Operationen und zugesicherte Eigenschaften

interface Map<K,V>  {
    void put (K key, V value);
    V get (K key);
}

Eigenschaften: z. B.

nach m.put (k, v)  gilt  m.get(k) == v