[pypy-svn] r77985 - pypy/extradoc/talk/pepm2011

cfbolz at codespeak.net cfbolz at codespeak.net
Fri Oct 15 15:13:04 CEST 2010


Author: cfbolz
Date: Fri Oct 15 15:13:03 2010
New Revision: 77985

Modified:
   pypy/extradoc/talk/pepm2011/escape-tracing.pdf
   pypy/extradoc/talk/pepm2011/paper.tex
Log:
enhance example


Modified: pypy/extradoc/talk/pepm2011/escape-tracing.pdf
==============================================================================
Binary files. No diff available.

Modified: pypy/extradoc/talk/pepm2011/paper.tex
==============================================================================
--- pypy/extradoc/talk/pepm2011/paper.tex	(original)
+++ pypy/extradoc/talk/pepm2011/paper.tex	Fri Oct 15 15:13:03 2010
@@ -888,6 +888,19 @@
 After the lifting the static heap is the empty set, because both static objects
 were lifted.
 
+If from the same heap $w^*$ is lifted instead, the following operations are
+produced:
+
+\begin{lstlisting}[mathescape,xleftmargin=20pt]
+$w^*$ = new($T_2$)
+set($w^*$, $L$, $u^*$)
+set($w^*$, $R$, $u^*$)
+\end{lstlisting}
+
+The static heap afterwards is $\{v^* \mapsto (T_1, w^*, v^*)\}$.
+
+
+
 % subsection Optimizing Traces (end)
 
 \subsection{Analysis of the Algorithm}



More information about the Pypy-commit mailing list