diff options
Diffstat (limited to 'rulespush.tex')
| -rw-r--r-- | rulespush.tex | 15 |
1 files changed, 1 insertions, 14 deletions
diff --git a/rulespush.tex b/rulespush.tex index 324601e..21f332d 100644 --- a/rulespush.tex +++ b/rulespush.tex @@ -17,19 +17,7 @@ zoals het commentaar op de specificatie~\cite{safalra} aangeeft, niet gedefinieerd wat er met ongeldige escape sequences gebeurt. Dit geeft de volgende regel: - -$$ -\begin{prooftree} - \trans - {\pgm}{\ip}{(\push{s}{\stk}), \str)} - {\ip'}{\op}{\st} - \justifies - \trans - {\StmPush~s:\pgm}{\ip}{(\stk,\str)} - {\ip'}{\op}{\st} - \using{\rpushns} -\end{prooftree} -$$ +\therpushns% De definitie van $\unescapeop$ is als volgt: @@ -54,4 +42,3 @@ het commentaar op de specificatie en met de Perl interpreter: %todo referentie should not rely on this behaviour and should always ensure valid escape sequences are used. \end{quote} - |