diff options
Diffstat (limited to 'org.tex')
| -rw-r--r-- | org.tex | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -10,6 +10,6 @@ specificatie \cite{safalra}, waarbij we dingen verhelderen en ongedefinieerd gedrag definiëren. In \autoref{sec:sos} laten we zien wat voor regels we zouden moeten gebruiken als we structurele operationele semantiek zouden gebruiken. In \autoref{sec:analyse} bekijken we een stuk code aan de hand van de -gedefinieerde regels. Hierbij gebruiken we \emph{CleanSmurf}, een zelfgemaakt -programma dat \LaTeX-afleidingsbomen voor Smurfprogramma's kan genereren. Dit -programma wordt in \autoref{sec:cleansmurf} toegelicht. +gedefinieerde regels. Hierbij gebruiken we \emph{CleanSmurf}~\cite{cleansmurf}, +een zelfgemaakt programma dat (\LaTeX-)afleidingsbomen voor Smurfprogramma's +kan genereren. Dit programma wordt in \autoref{sec:cleansmurf} toegelicht. |