blob: d02b1fe91e172c0520cf89b270570d80dad0895d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
\begin{figure}
\begin{syntax}
\syntaxclass{Event values:}
\evv & ::= & n & integer value\\
& \alt & f & floating-point value
%
\syntaxclass{Events:}
\ev & ::= & \id \, \evv^* \, \evv &
%
\syntaxclass{Execution traces:}
\tr & ::= & \E0 & empty trace \\
& \alt & [\ev] & external call \\
& \alt & \cat \tr \tr& concatenation
\end{syntax}
\caption{Execution traces}
\label{fig:trace}
\end{figure}
|