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

[arigo at codespeak.net]

Author: arigo
Date: Fri Oct 15 15:16:30 2010
New Revision: 77987

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


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:16:30 2010
@@ -887,9 +887,8 @@
 
 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:
+If we had lifted $w^*$ instead of $v^*$, then the following operations would
+have been produced:
 
 \begin{lstlisting}[mathescape,xleftmargin=20pt]
 $w^*$ = new($T_2$)
@@ -897,7 +896,8 @@
 set($w^*$, $R$, $u^*$)
 \end{lstlisting}
 
-The static heap afterwards is $\{v^* \mapsto (T_1, w^*, v^*)\}$.
+In this case, the static heap afterwards would be
+$\{v^* \mapsto (T_1, w^*, v^*)\}$.