rulesget.tex


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

% vim: set spelllang=nl:
\subsection{\texttt{Get}}

$\StmGet$ neemt het bovenste element van de stack en gebruikt dit als
variabelenaam om in de variable store te zoeken.

$$
\begin{prooftree}
	\trans
		{\pgm}{\ip}{([\str~\var:\stk], \str)}
		{\ip'}{\op}{\st}
	\justifies
	\trans
		{\StmGet:\pgm}{\ip}{([\var:\stk],\str)}
		{\ip'}{\op}{\st}
	\using{\rgetns}
\end{prooftree}
$$