diff options
Diffstat (limited to 'papers/cfrontend_new/values.etex')
-rwxr-xr-x | papers/cfrontend_new/values.etex | 40 |
1 files changed, 0 insertions, 40 deletions
diff --git a/papers/cfrontend_new/values.etex b/papers/cfrontend_new/values.etex deleted file mode 100755 index bdf2858c..00000000 --- a/papers/cfrontend_new/values.etex +++ /dev/null @@ -1,40 +0,0 @@ -\begin{figure} - -\begin{syntax} -\syntaxclass{Values:} -\loc & ::= & (b, n) & location (byte offset $n$ in the memory block\\ - & & & referenced by $b$)\\ -v & ::= & n & integer value\\ - & \alt & f & floating-point value \\ - & \alt & \loc & pointer value\\ -% v & ::= & "Vint"(n) & integer value\\ -% & \alt & "Vfloat"(f) & floating-point value \\ -% & \alt & "Vptr"(\loc) & pointer value\\ - & \alt & "Vundef" & undefined value -% -\syntaxclass{Statement outcomes:} -\out & ::= & "Out_normal" & go to the next statement \\ - & \alt & "Out_continue" & go to the next iteration of the current loop \\ - & \alt & "Out_break" & exit from the current loop \\ - & \alt & "Out_return" & function exit \\ - & \alt & "Out_return"(v) & function exit, returning the value $v$ -% -\syntaxclass{Global environments:} -G & ::= & (id \mapsto b) & map from global variables to block references \\ - & & \times (b \mapsto \fn) & and map from function references \\ - & & & to function definitions -% -\syntaxclass{Local environments:} -E & ::= & \id \mapsto b & map from local variables to block references -% -\syntaxclass{Memories:} -{\it bounds} & ::= & \ldots & low and high bounds \\ -{\it kind} & ::= & \ldots & content map \\ -M & ::= & b \mapsto {\it bounds} \times & map from block references to block contents\\ -& & (n \mapsto {\it kind} \mapsto v) & -\end{syntax} -% -\caption{Values, outcomes, and evaluation environments} -\label{fig:values} -\end{figure} - |