diff options
Diffstat (limited to 'rulesput.tex')
| -rw-r--r-- | rulesput.tex | 19 |
1 files changed, 1 insertions, 18 deletions
diff --git a/rulesput.tex b/rulesput.tex index 3a8fd05..371cae6 100644 --- a/rulesput.tex +++ b/rulesput.tex @@ -11,21 +11,4 @@ We halen twee strings van de stack en gebruiken $\putop$ om een nieuwe variable store te krijgen. Hiermee wordt de rest van het programma uitgevoerd. Als er minder dan twee elementen op de stack staan kan deze regel niet worden toegepast, aangezien $\popop$ een partiële functie is. - -$$ -\begin{prooftree} - \trans - {\pgm}{\ip}{(\stk'', \put\var\val\str)} - {\ip'}{\op}{\st} - \justifies - \trans - {\StmPut:\pgm}{\ip}{(\stk,\str)} - {\ip'}{\op}{\st} - \using{\rputns} - \qquad - \text{met\enspace - \parbox{36mm}{$\pop{\stk} = (\var,\stk')$, - \\$\pop{\stk'}= (\val,\stk'')$.}} -\end{prooftree} -$$ - +\therputns% |