diff options
author | Camil Staps | 2016-04-29 17:24:44 +0200 |
---|---|---|
committer | Camil Staps | 2016-04-29 17:24:44 +0200 |
commit | b0e06d2c58f62e1ebebfb2515dc4612498626fae (patch) | |
tree | ce59caeb89b4df90cd965d5d436248b6579f4956 | |
parent | analyse & planning aan organisatie toegevoegd (diff) |
oops
-rw-r--r-- | org.tex | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -7,8 +7,8 @@ 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. In \autoref{sec:anal} bekijken we een stuk code aan de hand van de -gedefinieerde regels. +definiëren. In \autoref{sec:analyse} 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. |