From 55b7e296f688a9f54e392d9ad6a3e8727c4eb25d Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Fri, 29 Apr 2016 17:22:59 +0200 Subject: analyse & planning aan organisatie toegevoegd --- org.tex | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/org.tex b/org.tex index 09f53a7..434e674 100644 --- a/org.tex +++ b/org.tex @@ -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. -- cgit v1.2.3