diff options
Diffstat (limited to 'abs.tex')
| -rw-r--r-- | abs.tex | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -3,6 +3,7 @@ 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. + uit te voeren. Vervolgens laten we zien hoe de semantiek gebruikt kan worden + om over de taal te redeneren. Hiervoor introduceren we de tool + \emph{CleanSmurf}~\cite{cleansmurf}, een bewijshulp voor Smurf. \end{abstract} - |