diff options
Diffstat (limited to 'org.tex')
| -rw-r--r-- | org.tex | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -10,8 +10,9 @@ 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. +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. \autoref{sec:planning} bevat een planning voor het afwerken van het werkstuk, die uiteindelijk verwijderd zal worden. - |