Schnittstellen (Interfaces) in Java

interface ist eine teilweise Spezifikation einer Klasse

• statische Eigenschaften sind angegeben (Typen von Methoden)

  und werden zur Übersetzungszeit geprüft

• dynamische Eigenschaften (Invarianten, Vor- und Nachbedingungen) lassen sich nicht angeben

  die Überprüfung wäre unentscheidbar

  (Gödel, Turing, Rice: jede nichttriviale Programm-Eingenschaft ist unentscheidbar, Halteproblem)