1 files changed, 8 insertions, 0 deletions
diff --git a/abs.tex b/abs.tex
new file mode 100644
index 0000000..20fbd04
--- /dev/null
+++ b/abs.tex
@@ -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}
+