\begin{slide}{ADT in realen Programmiersprachen}
  \begin{itemize}\itemsep 0pt
  \item Signatur: Interface   (statische Prüfung)
  \item Axiome: Vor/Nachbedingungen von Methoden

    (Prüfung dynamisch: Test, statisch: Beweis)
  \end{itemize}
Realisierung von Interfaces in OOP:
\begin{itemize}\itemsep 0pt
\item interface ist (voll) abstrakte Klasse

  (alle Methoden sind abstrakt: nur deklariert,
  aber nicht implementiert)
\item
  Schnittstellen-Implementierung:
  konkrete Klasse \glqq erbt\grqq\ von interface
\item
  das ist \emph{keine} Implementierungsvererbung
\end{itemize}



\end{slide}
