changes
[cdsspec-compiler.git] / correctness-model / writeup / speccfg.tex
1 \begin{figure}
2
3
4 %\paragraph{Default settings}
5 %\begin{grammar}
6
7 %<statement> ::= <ident> `=' <expr> 
8 %\alt `for' <ident> `=' <expr> `to' <expr> `do' <statement> 
9 %\alt `{' <stat-list> `}' 
10 %\alt <empty> 
11
12 %<stat-list> ::= <statement> `;' <stat-list> | <statement> 
13
14 %\end{grammar}
15
16 \caption{\label{fig:algorithm}\TOOL algorithm}
17 \end{figure}