\begin{slide}{XSLT}

\begin{itemize}\itemsep 0pt
\item
(extensible style sheet language transformations)
\item
ist eine (seltsame) Art, ein Term-Ersetzungssystem 
für XML-Dokumente hinzuschreiben.
\item
besteht aus Ersetzungsregeln (Templates) und Ersetzungsstrategie
\item
Regeln haben Form $f(x_1,\ldots,x_n)\to\dots$ für Elemente $f$,
evtl. mit zusätzlichen Bedingungen
\item
ungefähr outermost rewriting (bei der Wurzel beginnend),
behandelt aber jeden Knoten (normalerweise) höchstens einmal.
\end{itemize}

\end{slide}
