diff options
| author | Camil Staps | 2016-04-29 17:22:59 +0200 |
|---|---|---|
| committer | Camil Staps | 2016-04-29 17:22:59 +0200 |
| commit | 55b7e296f688a9f54e392d9ad6a3e8727c4eb25d (patch) | |
| tree | 70ef4e38a694876ed3145adb42f80d33c812c681 | |
| parent | Dames gaan voor (diff) | |
analyse & planning aan organisatie toegevoegd
| -rw-r--r-- | org.tex | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -7,5 +7,9 @@ programmatoestand en de transities in de natuurlijke semantiek die we gaan definiëren. \autoref{sec:rules} beschrijft vervolgens per statement in de syntax de formele semantiek. Hierbij baseren we ons op de Smurf specificatie \cite{safalra}, waarbij we dingen verhelderen en ongedefinieerd gedrag -definiëren. +definiëren. In \autoref{sec:anal} bekijken we een stuk code aan de hand van de +gedefinieerde regels. + +\autoref{sec:planning} bevat een planning voor het afwerken van het werkstuk, +die uiteindelijk verwijderd zal worden. |
