% vim: set spelllang=nl:
\begin{abstract}
	We beschrijven een manier om de semantiek van Smurf \cite{safalra} formeel te
	specificeren, om het makkelijker te maken over de taal te redeneren. Smurf is
	interessant, omdat het een commando heeft om een string als Smurfprogramma
	uit te voeren. We bekijken de gevolgen van dit commando op de semantiek.
\end{abstract}