diff options
| -rw-r--r-- | abs.tex | 8 | ||||
| -rw-r--r-- | werkstuk.tex | 1 |
2 files changed, 9 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} + 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} |