Abstract

2 files changed, 9 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}
+
diff --git a/werkstuk.tex b/werkstuk.tex
index 72613b9..ccb6f49 100644
--- a/werkstuk.tex
+++ b/werkstuk.tex
@@ -5,6 +5,7 @@
 
 \maketitle
 
+\input{abs}
 % todo intro
 \input{def}
 \input{rules}