diff options
Diffstat (limited to 'abs.tex')
-rw-r--r-- | abs.tex | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -0,0 +1,8 @@ +% 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} + |