Schnittstellen (interfaces)

Ein abstrakter Datentyp wird durch seine Anwender-Schnittstelle definiert.

Diese besteht aus Operationen mit jeweils:

• Name
• Argument- und Resultat-Typen
• zugesicherten Eigenschaften