diff options
Diffstat (limited to 'rulesget.tex')
| -rw-r--r-- | rulesget.tex | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/rulesget.tex b/rulesget.tex new file mode 100644 index 0000000..eb16561 --- /dev/null +++ b/rulesget.tex @@ -0,0 +1,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}{\i}{([\str~\var:\stk], \str)} + {\i'}{\o}{\st} + \justifies + \trans + {\StmGet:\pgm}{\i}{([\var:\stk],\str)} + {\i'}{\o}{\st} + \using{\rgetns} +\end{prooftree} +$$ + |