\begin{slide}{Wie weiter?}

Anwendung und Vertiefung von Themen der PPS-Vorlesung
z. B. in Vorlesungen

\begin{itemize}\itemsep 2pt \parskip 2pt
\item Programmverifikation

  u.a. axiomatische Semantik imperativer Programme

\item Compilerbau

  \begin{itemize}
  \item Realisierung der Semantik durch    
    \begin{itemize}
    \item Interpretation 
    \item Transformation 
    \end{itemize}
  \item abstrakte und konkrete Syntax (Parser)
  \end{itemize}

\item Sprachkonzepte der Parallelen Programmierung

  u.a. Fkt. höherer Ordnung in Schemata
  (\emph{skeletons}) für parallele Algorithmen

\end{itemize}


\end{slide}
