blob: 09f53a7444635b614153dbf4c999a4e61ee8bd73 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
% vim: set spelllang=nl:
\subsection{Organisatie} %todo titel
In \autoref{sec:def} beschrijven we formele definities om de semantiek van
Smurf te kunnen specificeren. We kijken naar de syntax, input en output, de
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.
|
