\begin{slide}{Grundlagen}

Typ $=$ statische Semantik

(Information über mögliches Programm-Verhalten,
erhalten ohne Programm-Ausführung)

formale Beschreibung:
\begin{itemize}
\item $P$: Menge der Ausdrücke (Programme)
\item $T$: Menge der Typen
\item Aussagen $p :: t$ (für $p\in P$, $t\in T$)
  \begin{itemize}
  \item prüfen oder 
  \item herleiten (inferieren)
  \end{itemize}
\end{itemize}

\end{slide}


