summaryrefslogtreecommitdiff
path: root/abs.tex
diff options
context:
space:
mode:
Diffstat (limited to 'abs.tex')
-rw-r--r--abs.tex8
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}
+