\fbox{\vbox{
\begin{tabular}{ll}
(Y $\lambda({\,c\;\pvec{v}})\,{app}$)	   &  Y-Kombinator f"ur rekursive Definitionen\\
($p\:x\:y\:c_e\:c_c$)         & Ganzzahlige Arithmetik, $p \in \{+, -, *, /, \%\}$ \\
($p\:x\:y\:c_1\:c_2$)         & Vergleichsoperationen,
				    $p \in \{<, >, <=,>=\}$ \\
($p\:x\:y\:c$)          & Bit-Operationen,
			     $p \in \{<<, >>, \&, |, \hat{~}, \tilde{~}\}$ \\
(== $x$                      & Konditional, beruhend auf Objektidentit"at, mit   \\
 \hspace{5mm}\pvec{v}      &  $\;\;\;$ Werten und               \\
 \hspace{5mm}\pvec{c} [$c_{n+1}$]) &  $\;\;\;$   Verzweigungen (optionaler {\em else}-Zweig)  \\
(char2int $x\:c$)  & Konversion eines Zeichens in einen \\
                   & $\;\;\;$ganzzahligen Wert \\
(int2char $x\:c$)  & Konversion eines ganzzahligen Werts \\
                   & $\;\;\;$in ein Zeichen \\

(array \pvec{val} $c$)  & Anlegen eines ver"anderlichen Feldes \\
                        & $\;\;\;$mit $n$ Eintr"agen \\
(vector \pvec{val} $c$) & Anlegen eines unver"anderlichen Feldes \\
                        & $\;\;\;$mit $n$ Eintr"agen \\

(new $n$ {\it init} $c$)       & Anlegen eines ver"anderlichen Feldes mit \\
                               & $\;\;\;$$n$ initialisierten Eintr"agen \\ 
(\$new $n$ {\it init} $c$)
 & Anlegen eines ver"anderlichen Bytefeldes mit \\
 & $\;\;\;$$n$ initialisierten Eintr"agen \\  
  
(\arrayget{} $x\:i\:c$)               & Feldzugriff    \\
(\arrayset{} $x\:i\:v\:c$)            & Feldzuweisung \\
(\$\arrayget{} $x\:i\:c$)               & Bytefeldzugriff  \\
(\$\arrayset{} $x\:i\:v\:c$)          & Bytefeldzuweisung \\

(size $v\:c$)                  & Gr"o\3e eines Feldes \\
(move {\it n src srcOffset dst dstOffset c})     & Verschieben von Feldern \\
(\$move  {\it n src srcOffset dst dstOffset c})  & Verschieben von Bytefeldern \\
(ccall {\it fmt cfn $c_1\:c_2$})                 & C-Funktionsaufruf \\

(pushHandler $c_1\:c$)   & Festlegung der Fortsetzung  $c_{1}$ \\
                           & $\;\;\;$als Ausnahmebehandlung \\
(popHandler $c$)       & Entfernen der aktuellen Ausnahmebehandlung \\
(raise $x$)            &  Melden des Ausnahmezustandes $x$ \\
\end{tabular}
}}
